** Infinite Objects and Proofs
Part of the Texts in Theoretical Computer Science An EATCS Series book series (TTCS)
Reasoning about infinite objects while staying in the finite world of a computer is one of the most fascinating uses of proof tools.
KeywordsTransportation Nite Prefix Suffix Cardi
© Springer-Verlag Berlin Heidelberg 2004