SCAN
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
- 2008
- 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
SCAN Home
Forms:
Basic Form |
Correspondences Form |
Circumscription Form |
Help
Documentation:
Theory |
Computing Correspondences |
Computing Circumscription |
The System |
Conventions |
Syntax |
Literature
Maintained by
schmidt@cs.man.ac.uk.
Last modified: 05 Aug 13