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

Search alternatives:
languages » language
automata » automated , automatic

Cover Image

1

Proofs and Algorithms : An Introduction to Logic and Computability

by Dowek, Gilles
Published 2011

Springer London

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

Cover Image

2

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

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

Cover Image

3

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

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

Cover Image

4

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

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

Cover Image

5

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Pr...

Published 2014

Springer International Publishing

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