José Júlio Alferes
Professor of Computer Science
jja@fct.unl.pt
(email)
OPTATIVE REASONING WITH SCENARIO SEMANTICS
Citation:
Alferes, {José Júlio Alves}. "OPTATIVE REASONING WITH SCENARIO SEMANTICS." MIT Press. 1993. 601-615.
Export
Tagged
XML
BibTex
Google Scholar
Abstract:
n/a
Notes:
n/a
Bio
Publications
Classes