Metadata only
Datum
2016Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Journal of logic and computationBand
Seiten / Artikelnummer
Verlag
Oxford University PressThema
Authorization language; Basic primal logic; DKAL; Infon logic; Kripke semantics; Linear time algorithmETH Bibliographie
yes
Altmetrics