Theory of Computer Science
Last Update 1999-01-21
Content
Linear Logic
Formal Methods
Linear Logic
Linear Logic at SRI-CSL
Linear Logic
Bibliography on Linear Logic
Completeness results for linear logic on petri nets
Formal Methods
Formal Methods & their Role in Developiong Safe Systems - Workshop report 20.3.95
Formal Specification
Formal Methods and Theory Research Group
Formal Methods
Introduction to and comparison of formalisms
[
Hints about e-mail/sendmail
] [
Content
] [
What's new?
]
Claus Aßmann
Please send comments to:
<ca@informatik.uni-kiel.de>