Adding intensional machinery to hybrid logic

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

OriginalsprogEngelsk
TidsskriftJournal of Logic and Computation
Vol/bind18
Udgave nummer4
Sider (fra-til)631-648
Antal sider18
ISSN0955-792X
DOI
StatusUdgivet - 2008

Citer dette