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.

Theoretical Computer ◽

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.

10.1017/bsl.2017.20 ◽

2017 ◽

Vol 23 (2) ◽

pp. 203-204

Author(s):

Kamal Lodaya

Keyword(s):

Computer Science ◽

Temporal Logics ◽

Theoretical Computer ◽

Cambridge University ◽

Finite State

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 ◽

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

10.2307/2275086 ◽

1991 ◽

Vol 56 (3) ◽

pp. 1101-1102

Author(s):

P. T. Johnstone

Keyword(s):

Computer Science ◽

Theoretical Computer ◽

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.

10.2307/2275118 ◽

1993 ◽

Vol 58 (3) ◽

pp. 1079-1080

Author(s):

Heinrich Herre

Keyword(s):

Computer Science ◽

Nonmonotonic Reasoning ◽

Theoretical Computer ◽

Cambridge University ◽

Logical Foundations

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.

10.1017/s1079898600004017 ◽

2004 ◽

Vol 10 (02) ◽

pp. 223-225

Author(s):

Jürgen Giesl

Keyword(s):

Computer Science ◽

Term Rewriting ◽

Term Rewriting Systems ◽

Theoretical Computer ◽

Cambridge University ◽

Rewriting Systems

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.

10.2307/2687758 ◽

2001 ◽

Vol 7 (3) ◽

pp. 380-383

Author(s):

Norman Danner

Keyword(s):

New York ◽

Computer Science ◽

Theoretical Computer ◽

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.

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 ◽

Cambridge University ◽

Lecture Notes

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.

10.1017/s1079898600009094 ◽

2013 ◽

Vol 19 (1) ◽

pp. 108-110

Author(s):

Julian Gutierrez

Keyword(s):

Computer Science ◽

Theoretical Computer ◽

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

10.2307/2274882 ◽

1989 ◽

Vol 54 (2) ◽

pp. 624-627 ◽

Cited By ~ 2

Author(s):

Peter Gacs

Keyword(s):

Information Theory ◽

Computer Science ◽

Algorithmic Information Theory ◽

Theoretical Computer ◽

Cambridge University ◽

Algorithmic Information

Jon Barwise and Jerry Seligman. Information flow. The logic of distributed systems. Cambridge tracts in theoretical computer science, no. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xv + 274 pp.

10.2307/2586823 ◽

1999 ◽

Vol 64 (4) ◽

pp. 1836-1836

Author(s):

Maarten De Rijke

Keyword(s):

New York ◽

Distributed Systems ◽

Computer Science ◽

Information Flow ◽

Theoretical Computer ◽