Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | C | D | S | W

Number of items: 5.

B

Bowman, Howard, Thompson, Simon (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. (doi:10.1093/logcom/13.2.195) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13995)

C

Cohen, Liron, Rowe, Reuben, Zohar, Yoni (2019) Towards Automated Reasoning in Herbrand Structures. Journal of Logic and Computation, . ISSN 0955-792X. (doi:10.1093/logcom/exz011) (KAR id:73527)

D

Derrick, John (2000) A single complete refinement rule for Z. Journal of Logic and Computation, 10 (5). pp. 663-675. ISSN 0955-792X. (doi:10.1093/logcom/10.5.663) (KAR id:16369)

S

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:10.1093/logcom/14.6.857) (KAR id:14057)

W

Williamson, Jon (2009) Aggregating Judgements by Merging Evidence. Journal of Logic and Computation, 19 (3). pp. 461-473. ISSN 0955-792X. (doi:10.1093/logcom/exn011) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20879)

This list was generated on Mon Apr 15 23:33:24 2024 BST.