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

Search alternatives:
languages » language
automata » automated , automatic

Cover Image

1

Concrete Semantics : With Isabelle/HOL

by Nipkow, Tobias, Klein, Gerwin
Published 2014

Springer International Publishing

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

Cover Image

2

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

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

Cover Image

3

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

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

Cover Image

4

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

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

Cover Image

5

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

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

Cover Image

6

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

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

Cover Image

7

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

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