Skip to main content
Login
Admin
Dashboards
Help
Simple search
|
Advanced search
Home
Browse
Latest additions
Policies
Browse by Journal
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:
Creator's name
|
Item Type
|
Date
|
No Grouping
Jump to:
G
Number of items:
1
.
G
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.
Preview
This list was generated on
Tue Dec 10 23:31:15 2019 GMT
.