MPG.eBooks - Search Results - formal languages and automatic theorem

Search alternatives:
automatic theorem » automated theorem , automata theory
languages » language

Cover Image

1

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Analysis for Incompletely Defined Programs -- Automatic Certification of Heap Consumption -- A...”