Deontic lineair logic on Petri nets.

GJC (Gert-Jan) Lokhorst

Research output: Chapter/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationNAIC '96: Proceedings of the Eight Dutch Conference on Artificial Intelligence
EditorsJ.-J.Ch. Meyer, L.C. van der Gaag
Place of PublicationUtrecht
Pages277-282
Number of pages6
Publication statusPublished - 1996
Externally publishedYes

Research programs

  • EUR ESPHIL 07-02

Cite this