cofi-semantics Mail Archives 2002
Last updated: Wed Jul 16 23:15:09 2003
3 messages in reverse chronological order
Thread Index
Proposed final adjustments for CASL semantics
02/09/20 --
Till Mossakowski
CASL Proof calculus
02/09/16 --
Till Mossakowski
New document on semantics of CASL v1.0.1 basic specifications
02/04/04 --
Don Sannella
CoFI: The Common Framework Initiative
Mail converted by
MHonArc
2.4.6