Search from the table of contents of 2.5 million books
Advanced Search (Beta)

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS' 98, Brno, Czech Republic, August 24-28, 1998 |
Springer Berlin Heidelberg
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS' 98, Brno, Czech Republic, August 24-28, 1998

Reducing AC-termination to termination
Authors

ARI Id

1674219647807_1737336

Access

Open/Free Access

Pages

239-247

DOI

10.1007/BFb0055773

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0055773

Loading...
Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...

Similar News

Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...