[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CASL Proof calculus

To: cofi-semantics@brics.dk, cofi-tools@brics.dk
Subject: CASL Proof calculus
From: Till Mossakowski <till@tzi.de>
Date: Fri, 13 Sep 2002 17:59:49 +0200
Cc: Serge Autexier <Autexier@ags.uni-sb.de>,Dieter Hutter <hutter@dfki.de>,Piotr Hoffman <piotrek@duch.mimuw.edu.pl>
Delivered-To: cofi-tools-archive@daimi.au.dk
Reply-To: cofi-tools@brics.dk
Sender: owner-cofi-tools@brics.dk

Dear friends,

a first version of the CASL proof calculus has just been
completed, see

http://www.informatik.uni-bremen.de/~till/calculus.ps

Authors are Serge Autexier, Dieter Hutter, Piotr Hoffman
and myself.

Comments are welcome, either by e-mail, or personally
in a couple of days at the WADT, if you are there.

Greetings,
Till
-- 
Till Mossakowski                Phone +49-421-218-4683
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till@tzi.de           
P.O.Box 330440, D-28334 Bremen  http://www.informatik.uni-bremen.de/~till

Prev by Date: CALL FOR PARTICIPATION: FM-TOOLS 2002
Next by Date: Proposed final adjustments for CASL semantics
Prev by thread: CALL FOR PARTICIPATION: FM-TOOLS 2002
Next by thread: Proposed final adjustments for CASL semantics
Index(es):
- Date
- Thread