MPG.eBooks - Search Results - "existential"

Cover Image

1

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... of existential second-order logics -- Rich ?-words and monadic second-order arithmetic -- A simple ordinal...”

Cover Image

2

Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... -- Computational Politics: Electoral Systems -- 0–1 Laws for Fragments of Existential Second-Order Logic: A Survey...”