Virginia Tech - CS6104 Home Page
CS 6104, Advanced Topics in the Theory of Computation
First Summer Session, 1996
Created May 19, 1996
Find the homework assignments and other handouts
Some lecture notes can be found
and a template for creating more notes can be found
Resources on Mathematica can be found
The Larch prover page.
A Guide to LP, The Larch Prover
is available from the
Digital Systems Research Center.
Some small LP related documents (filename="larchDocs.tar.Z"),
including a bibliography on Larch
that points to some proofs accomplished using LP.
The web pages for CS 5034, Models of Computation,
some information on using LP,
thanks to Craig.
To use LP on heath.cs.vt.edu,
add the following alias to your .cshrc file:
alias lp '/home/cstruble/bin/lp -d /home/cstruble/lib/lp3.1b'
The command 'lp' then starts larch prover.
for information on class projects.
Generally available web resources on symbolic computing are indexed
to find journal articles (INSPEC),
or dissertations (DISS).
provides a general index to web resources.
is a general tool for searching the web by keywords.
Please report any problems found in these pages to:
CS6104 EI Account (firstname.lastname@example.org)