function confirmation(t,u) { Check = confirm(t); if (Check == true) location.href=u; }
News
Team
Teaching
Thesis
Publications
Projects
Software
Job Vacancies
Links
Contact
Institut für Informatik
Softwaretechnik und Programmiersprachen
Links
Books
Our local group library
Prolog and Logic Programming
Logic Programming Virtual Library
A Prolog Tutorial
Learn Prolog Now
Prolog Systems:
Ciao Prolog
Sicstus Prolog
XSB Prolog
SWI Prolog
Mercury
Cetus links on Prolog
Prolog Virtual Worlds
Formal Methods
Formal Methods Virtual Library
Model Checking Tools:
Spin
FDR and Probe
Cadence SMV
CMU SMV
ProB
Partial Evaluation
The LOPSTR Home Page
The Tempo Partial Evaluation System
The C-Mix Partial Evaluation System
Miscellaneous
A few BBEdit Codeless Language Modules (for Prolog, CSP, and Logen)
Constraints Archive
DBLP Bibliography
Amnesty International on-line
Imprint
