cofi-semantics Mail Archive Threads 1999
Thread index
Last updated: Tue Feb 15 09:17:48 2000
14 messages
The semantics group meeting in Amsterdam,
Andrzej Tarlecki
Semantics of CASL v1.0,
Don Sannella
Minutes of the Amsterdam meeting,
Andrzej Tarlecki
NEW IT sales program,
stonef
major account sales information,
report
RE: IT sales training. (time sensitive),
stonef
subsorting relation,
Alexandre Zamulin
Re: subsorting relationsubsorting relation,
Till Mossakowski
Zamulin's note,
EricWagner
URGENT - IMPORTANT - ANSWER NOW !!!,
Andrzej Tarlecki
About: URGENT - IMPORTANT - ANSWER NOW !!!,
Andrzej Tarlecki
New note on institution independence,
Till Mossakowski
Some subtleties about structured specs,
Till Mossakowski
Mail converted by MHonArc 2.4.0