MPG.eBooks - Search Results - ("flag" OR "flat")

Search alternatives:
"flag" » "lag", "flap"

Cover Image

1

Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... -- Termination of Rewriting with Right-Flat Rules -- Abstract Critical Pairs and Confluence of Arbitrary Binary...”

Cover Image

2

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: “... Theories -- Abstract Model Generation for Preprocessing Clause Sets -- Flat and One-Variable Clauses...”