MPG.eBooks - Search Results - "Formal Languages And Automata Theory"

1

Methods of Cut-Elimination

by Baaz, Matthias, Leitsch, Alexander
Published 2011

Springer Netherlands

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

Read Now

2

Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi

by Abrusci, Vito Michele, Tortora de Falco, Lorenzo
Published 2018

Springer Milan

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

Read Now

3

Parameterized Complexity in the Polynomial Hierarchy : Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

by de Haan, Ronald
Published 2019

Springer Berlin Heidelberg

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

Read Now

4

Notes on Set Theory

by Moschovakis, Yiannis
Published 2006

Springer New York

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

Read Now

5

Finite Model Theory : Second Edition

by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995

Springer Berlin Heidelberg

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

Read Now

6

Gentzen's Centenary : The Quest for Consistency

Published 2015

Springer International Publishing

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

Read Now

7

Boolean Algebras

by Sikorski, Roman
Published 1969

Springer Berlin Heidelberg

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

Read Now

8

Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971

Published 1973

Springer Berlin Heidelberg

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

Read Now

9

5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980

Published 1980

Springer Berlin Heidelberg

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

Read Now

10

Set Theory

by Jech, Thomas
Published 1997

Springer Berlin Heidelberg

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

Read Now

11

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Published 1988

Springer Berlin Heidelberg

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

Read Now

12

Mathematische Logik mit Informatik-Anwendungen

by Bergmann, E., Noll, H.
Published 1977

Springer Berlin Heidelberg

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

Read Now

13

Grundzüge der Theoretischen Logik

by Hilbert, David, Ackermann, Wilhelm
Published 1959

Springer Berlin Heidelberg

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

Read Now

14

Set Theory : The Third Millennium Edition, revised and expanded

by Jech, Thomas
Published 2003

Springer Berlin Heidelberg

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

Read Now

15

Logic from Computer Science : Proceedings of a Workshop held November 13–17, 1989

Published 1992

Springer New York

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

Read Now

16

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990

Springer Berlin Heidelberg

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

Read Now

17

Finite Model Theory : First Edition

by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995

Springer Berlin Heidelberg

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

Read Now

18

Logic: a Brief Course

by Mundici, Daniele
Published 2012

Springer Milan

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

Read Now

19

Dual Tableaux: Foundations, Methodology, Case Studies

by Orlowska, Ewa, Golińska Pilarek, Joanna
Published 2011

Springer Netherlands

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

Read Now

20

Institution-independent Model Theory

by Diaconescu, Razvan
Published 2008

Birkhäuser

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

Narrow Search