Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp.

Joe Hurd

doi:10.1017/s1079898600002614

Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600002614 ◽

2006 ◽

Vol 12 (3) ◽

pp. 498-499

Author(s):

Joe Hurd

Keyword(s):

Computer Science ◽

Mathematical Reasoning ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University ◽

Meta Level

Download Full-text

Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2017.20 ◽

2017 ◽

Vol 23 (2) ◽

pp. 203-204

Author(s):

Kamal Lodaya

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Temporal Logics ◽

Theoretical Computer ◽

Cambridge University ◽

Finite State

Download Full-text

The uncertain reasoner's companion: a mathematical perspective by J. B. Paris, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, UK, 1994, pp 212, £25.00, ISBN 0521 460891.

The Knowledge Engineering Review ◽

10.1017/s026988890000775x ◽

1996 ◽

Vol 11 (1) ◽

pp. 82-83

Author(s):

Jean-Louis Gomard

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp.

Journal of Symbolic Logic ◽

10.2307/2275086 ◽

1991 ◽

Vol 56 (3) ◽

pp. 1101-1102

Author(s):

P. T. Johnstone

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Gerhard Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp.

Journal of Symbolic Logic ◽

10.2307/2275118 ◽

1993 ◽

Vol 58 (3) ◽

pp. 1079-1080

Author(s):

Heinrich Herre

Keyword(s):

Computer Science ◽

Nonmonotonic Reasoning ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University ◽

Logical Foundations

Download Full-text

The uncertain reasoner's companion: a mathematical perspective by Jeff B. Paris, Cambridge University Press, Cambridge, UK, 1994, pp 212. Volume 39 in Cambridge Tracts in Theoretical Computer Science.

The Knowledge Engineering Review ◽

10.1017/s0269888900007712 ◽

1996 ◽

Vol 11 (1) ◽

pp. 73-78 ◽

Cited By ~ 2

Author(s):

Didier Dubois

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Terese. Term rewriting systems, edited by Marc Bezem, Jan Willem Klop, and Roel de Vrijer, Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge University Press, 2003, xxii + 884 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600004017 ◽

2004 ◽

Vol 10 (02) ◽

pp. 223-225

Author(s):

Jürgen Giesl

Keyword(s):

Computer Science ◽

Term Rewriting ◽

Theoretical Computer Science ◽

Term Rewriting Systems ◽

Theoretical Computer ◽

Cambridge University ◽

Rewriting Systems

Download Full-text

Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.

Bulletin of Symbolic Logic ◽

10.2307/2687758 ◽

2001 ◽

Vol 7 (3) ◽

pp. 380-383

Author(s):

Norman Danner

Keyword(s):

New York ◽

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.

Journal of Symbolic Logic ◽

10.2307/2275616 ◽

1996 ◽

Vol 61 (1) ◽

pp. 336-338

Author(s):

Herman Ruge Jervell

Keyword(s):

New York ◽

Computer Science ◽

Linear Logic ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University ◽

Lecture Notes

Download Full-text

Davide Sangiorgi. Introduction to bisimulation and coinduction. Cambridge University Press, 2012, 247 pp. - Advanced topics in bisimulation and coinduction, edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, vol. 52. Cambridge University Press, 2012, 326 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600009094 ◽

2013 ◽

Vol 19 (1) ◽

pp. 108-110

Author(s):

Julian Gutierrez

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Gregory J. Chaitin, Algorithmic information theory, Cambridge tracts in theoretical computer science, no. 1. Cambridge University Press, Cambridge etc. 1987, xi + 175 pp.

Journal of Symbolic Logic ◽

10.2307/2274882 ◽

1989 ◽

Vol 54 (2) ◽

pp. 624-627 ◽

Cited By ~ 2

Author(s):

Peter Gacs

Keyword(s):

Information Theory ◽

Computer Science ◽

Theoretical Computer Science ◽

Algorithmic Information Theory ◽

Theoretical Computer ◽

Cambridge University ◽

Algorithmic Information

Download Full-text