This is a tutorial for the interactive proof system Minlog, Version 5.0, developed by Helmut Schwichtenberg and members of the logic group at the University of Munich. Minlog is implemented in Scheme. Minlog’s favorite dialect is Petite Chez Scheme from Cadence Research Systems, which is freely distributed at the Internet address www.scheme.com. The Minlog system can be downloaded from the Internet address http://www.minlog-system.de
A tutorial for Minlog, version 5.0 / Laura Crosilla; Monika Seisenberger; Helmut Schwichtenberg. - ELETTRONICO. - (2011), pp. 0-44.
A tutorial for Minlog, version 5.0
Laura Crosilla;Helmut Schwichtenberg
2011
Abstract
This is a tutorial for the interactive proof system Minlog, Version 5.0, developed by Helmut Schwichtenberg and members of the logic group at the University of Munich. Minlog is implemented in Scheme. Minlog’s favorite dialect is Petite Chez Scheme from Cadence Research Systems, which is freely distributed at the Internet address www.scheme.com. The Minlog system can be downloaded from the Internet address http://www.minlog-system.de
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
