Contributors to the development of SCAN and its website

1992 - 1996
Hans Juergen Ohlbach, Thorsten Engel: Development of SCAN
1995 - 2000
Thomas Schwickert, Hans Juergen Ohlbach, Renate Schmidt: SCAN website at the Max-Planck Institut fuer Informatik, Saarbruecken
J. J. Palacios-Perez: Porting of SCAN to Linux
2012 -
Renate Schmidt with help of Jacobus Meulen: SCAN website at the University of Manchester, UK
Forms: Basic Form | Correspondences Form | Circumscription Form | Help
Documentation: Theory | Computing Correspondences | Computing Circumscription | The System | Conventions | Syntax | Literature

Maintained by Last modified: 05 Aug 13