Links
Home
Publications
Teaching
Recent Talks
Nominal Isabelle
Handy Information
People in Logic
Programming Languages
Miscellaneous
|
Logic Related Links
An Incomplete List of People Working in Logic, Proof Theory, Theorem Provers and Related Areas
Bookmarks
-
Survey on linear logic programming languages by Dale Miller
-
Researchers in Rewriting
-
List of open problems in term rewriting
- Computability Logic Homepage
|
