MPG.eBooks - Search Results - (mathematical OR mathematics) logic and foundations

Cover Image

1

Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Published 2015

Springer Berlin Heidelberg

Table of Contents: “... -- Parsimonious Types and Non-uniform Computation -- Baire Category Quantifier in Monadic Second Order Logic...”

Cover Image

2

Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Published 2015

Springer Berlin Heidelberg

Subjects: “...Computer science / Mathematics...”