Higher-Order Modal Logics: Automation and Applications

Simple item page
dc.contributor.authorBenzmuller, Christoph
dc.contributor.authorWoltzenlogel Paleo, Bruno
dc.date.accessioned2016-06-14T23:21:19Z
dc.date.issued2015
dc.date.updated2016-06-14T09:04:22Z
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/1885/103844
dc.publisherSpringer
dc.rightsAuthor affiliation statement now added
dc.sourceLecture Notes in Computer Science (LNCS)
dc.titleHigher-Order Modal Logics: Automation and Applications
dc.typeJournal article
local.bibliographicCitation.issueReasoning Web 2015
local.bibliographicCitation.lastpage74
local.bibliographicCitation.startpage32
local.contributor.affiliationBenzmuller, Christoph, Freie Universitat Berlin
local.contributor.affiliationWoltzenlogel Paleo, Bruno, College of Engineering and Computer Science, ANU
local.contributor.authoremailu1002652@anu.edu.au
local.contributor.authoruidWoltzenlogel Paleo, Bruno, u1002652
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1630
local.identifier.citationvolume9203
local.identifier.doi10.1007/978-3-319-21768-0_2
local.identifier.uidSubmittedByu4334215
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Benzmuller_Higher-Order_Modal_Logics%3A_2015.pdf
Size:
6.71 MB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS