The collected works of J. Richard Buchi
Saved in:
Main Author: | Buchi, J. Richard |
---|---|
Other Authors: | Siefkes, Dirk, Mac Lane, Saunders 1909- |
Format: | Book |
Language: | English |
Published: |
New York
Springer-Verlag
1990
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Elements of the theory of computation
by: Lewis, Harry R
Published: (1981) -
Elements of the theory of computation
by: Lewis, Harry R.
Published: (1998) -
An introduction to practical formal methods using temporal logic
by: Fisher, Michael 1962-
Published: (2011) -
Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000) -
Automatic sequences theory, applications, generalizations
by: Allouche, Jean-Paul 1953-
Published: (2003)