Virginia Tech - CS6104 Materials on Reserve
Books on reserve in Newman Library
-
(QA267 L49) Elements of the Theory of Computation,
Lewis and Papadimitriou
-
(QA267 H56) Introduction to Automata Theory, Languages,
and Computation,
Hopcroft and Ullman
-
(QA267 J36 1988)
Confluent String Rewriting,
Jantzen
-
(QA564 C688 1992)
Ideals, Varieties, and Algorithms,
Cox, Little, and O'Shea
-
(QA76 H279 1990 v.B)
Handbook of Theoretical Computer Science, Volume B,
van Leeuwen
(contains Dershowitz and Jouannaud's survey of term rewriting)
-
(QA76.63 H36 1993 v.1)
Handbook of Logic in Artificial Intelligence and Logic Programming,
Gabbay, Hogger, and Robinson
(contains Plaisted's survey of term rewriting and equational systems)
Other materials on reserve in Newman Library
-
A Guide to LP, The Larch Prover,
Garland and Guttag
Please report any problems found in these pages to:
CS6104 EI Account (cs6104@ei.cs.vt.edu)