Previous: TR 93-06 Next: TR 93-10

Intellektik: Technical report 93-08

Propositional State-Event Logic

Gerd Große


Full Paper: Compressed postscript Compressed DVI

BibTeX entry