Zum Inhalt springen
Autor
Thomas Wood
Letzte Aktualisierung
8 years ago
Lizenz
Other (as stated in the work)
AbstraktLaTeX template for C240 Models of Computation assessed coursework Contains macros for typesetting operational semantic rules and proof trees and other notation used in the first half of the course. Department of Computing, Imperial College London