Metadata only
Date
2016Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Journal of logic and computationVolume
Pages / Article No.
Publisher
Oxford University PressSubject
Authorization language; Basic primal logic; DKAL; Infon logic; Kripke semantics; Linear time algorithmMore
Show all metadata
ETH Bibliography
yes
Altmetrics