ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
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.
Journal of Symbolic Logic
◽
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 Science
◽
Theoretical Computer
◽
Cambridge University
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close