Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... in Formal Provability Logic -- A Synthesis Algorithm for Hybrid Systems -- Including the Past in ‘Topologic...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... rewriting -- Lambda and combinatory calculi -- Categorical logic and topological semantics -- Linear logic...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
Table of Contents: “... -- Equational logic and term rewriting -- Lambda and combinatory calculi -- Categorical logic and topological...”
Cover Image
Read Now

4
Published 2016
Springer International Publishing
Table of Contents: “... -- Equational logic and term rewriting -- Lambda and combinatory calculi -- Categorical logic and topological...”
Cover Image
Read Now

5
by Nerode, Anil, Greenberg, Noam
Published 2022
Springer International Publishing
“...: topology, complex analysis, algebra and geometry all interact in a deep way. This textbook offers...”
Cover Image
Read Now

6
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... systems: Automata, topologies, controllability, observability -- Some remarks about flows in hybrid...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping...”
Cover Image
Read Now

8
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Propositional System -- Tableaux and Hypersequents for Justification Logic -- Topological Forcing Semantics...”
Cover Image
Read Now

9
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Topological semantics for hybrid systems -- Domain-free pure type systems -- Generic queries over...”
Cover Image
Read Now

10
Published 2020
Springer International Publishing
“... and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear...”
Cover Image
Read Now

11
Published 2022
Springer International Publishing
“... and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear...”