Skip to main content
Login
Admin
Dashboards
Help
Simple search
|
Advanced search
Home
Browse
Latest additions
Policies
Accessibility Statement
Browse by Publisher
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Multiline CSV (Staff)
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
Jump to:
Article
Number of items:
1
.
Article
Gomez, Rodolfo
,
Bowman, Howard
(2004)
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.
Journal of Applied Non-Classical Logics, 14 (1-2). pp. 105-148. ISSN 1166-3081. (KAR id:
14032
)
Preview
This list was generated on
Sun Jan 17 01:54:21 2021 GMT
.