Collected Works of J. Richard Büchi
Publisher: Springer
Published: 2011
Language: eng
Number of pages: 696
ISBN-13: 9781461389309
Subjects: Machine theory; Logic, symbolic and mathematical