Deontic lineair logic on Petri nets.

Research output: Chapter/Conference proceeding › Chapter › Academic

Original language	Undefined/Unknown
Title of host publication	NAIC '96: Proceedings of the Eight Dutch Conference on Artificial Intelligence
Editors	J.-J.Ch. Meyer, L.C. van der Gaag
Place of Publication	Utrecht
Publisher	Utrecht University
Pages	277-282
Number of pages	6
Publication status	Published - 1996
Externally published	Yes

Research programs

@inbook{d848c0b4b2504deb89615610e9547a89,

title = "Deontic lineair logic on Petri nets.",

author = "Lokhorst, \{GJC (Gert-Jan)\}",

year = "1996",

language = "Undefined/Unknown",

pages = "277--282",

editor = "J.-J.Ch. Meyer and \{van der Gaag\}, L.C.",

booktitle = "NAIC '96: Proceedings of the Eight Dutch Conference on Artificial Intelligence",

publisher = "Utrecht University",

address = "Netherlands",

}