Show simple item record

dc.contributor.author
Cotrini, Carlos
dc.contributor.author
Gurevich, Yuri
dc.date.accessioned
2017-06-12T05:27:55Z
dc.date.available
2017-06-12T05:27:55Z
dc.date.issued
2016
dc.identifier.issn
0955-792X
dc.identifier.issn
1465-363X
dc.identifier.other
10.1093/logcom/ext021
dc.identifier.uri
http://hdl.handle.net/20.500.11850/116042
dc.language.iso
en
dc.publisher
Oxford University Press
dc.subject
Authorization language
dc.subject
Basic primal logic
dc.subject
DKAL
dc.subject
Infon logic
dc.subject
Kripke semantics
dc.subject
Linear time algorithm
dc.title
Basic primal infon logic
dc.type
Journal Article
ethz.journal.title
Journal of logic and computation
ethz.journal.volume
26
ethz.journal.issue
1
ethz.journal.abbreviated
J. log. comput. (Print)
ethz.pages.start
117
ethz.pages.end
141
ethz.identifier.wos
ethz.identifier.nebis
000555427
ethz.publication.place
Oxford
ethz.publication.status
published
ethz.date.deposited
2017-06-12T05:34:08Z
ethz.source
ECIT
ethz.identifier.importid
imp5936545ee538525383
ethz.ecitpid
pub:177892
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T13:33:23Z
ethz.rosetta.lastUpdated
2017-07-18T13:33:23Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Basic%20primal%20infon%20logic&rft.jtitle=Journal%20of%20logic%20and%20computation&rft.date=2016&rft.volume=26&rft.issue=1&rft.spage=117&rft.epage=141&rft.issn=0955-792X&1465-363X&rft.au=Cotrini,%20Carlos&Gurevich,%20Yuri&rft.genre=article&rft_id=info:doi/10.1093/logcom/ext021&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record