Browse by Journal

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. (doi:10.3166/jancl.14.105-148) (KAR id:14032)

This list was generated on Tue Dec 24 23:43:27 2024 GMT.