dblp.uni-trier.de www.uni-trier.de

5. FroCos 2005: Vienna, Austria

Bernhard Gramlich (Ed.): Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings. Lecture Notes in Computer Science 3717 Springer 2005, ISBN 3-540-29051-6 BibTeX

Logics, Theories, and Decision Procedures I

Interface Formalisms

Logics, Theories, and Decision Procedures II

Constraint Solving and Programming

Logical Problem Analysis and Encoding I

Combination Issues in Rewriting and Programming

Compositional System Design and Refinement

Logical Problem Analysis and Encoding II

Theorem Proving Frameworks and Systems

Copyright © Sat May 16 23:12:46 2009 by Michael Ley (ley@uni-trier.de)