MPG.eBooks - Search Results - formal languages and automata theory

1

Published 1996

Springer Berlin Heidelberg

Table of Contents: “...-order lazy functional language implementation: An exercise in mechanical theorem proving -- Assertions...”

2

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...”

3

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Programming Paradigm -- Some Results in Dynamic Model Theory -- Mathematics in Computer Science Curricula...”

4

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... theory -- The semantics of SPECTRUM -- ATLAS: A typed language for algebraic specification -- Compilation...”

5

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... and Action Lattices Are Related by Adjunctions -- Towards a Formalisation of Relational Database Theory...”

6

Published 2009

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”