Skip to main content

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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. (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)
[img]
Preview

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)
[img]
Preview
[img]
Preview

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)
[img]
Preview

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 Fri Jul 10 00:00:18 2020 BST.