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)

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) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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)
[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)
[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)

This list was generated on Sun Dec 8 23:57:33 2019 GMT.