Topologische Noltisetordrungen
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On multiset orderingsInformation Processing Letters, 1982
- Proving termination with multiset orderingsCommunications of the ACM, 1979