| 1 |
8
Formal semantics and pragmatics for natural language querying / James Clifford
Cambridge ; New York : Cambridge University Press , 1990
|
| 2 |
12
Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka
Cambridge ; New York : Cambridge University Press , 1991
|
| 3 |
17
Applications of process algebra / edited by J.C.M. Baeten
Cambridge ; New York : Cambridge University Press , 1990
|
| 4 |
34
Two-level functional languages / Flemming Nielson and Hanne Riis Nielson
Cambridge : Cambridge University Press , 1992
|
| 5 |
50
Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers
: hardback. - Cambridge : Cambridge University Press , 2010
|
| 6 |
52
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten
Cambridge : Cambridge University Press , 2012
|
| 7 |
57
Nominal sets : names and symmetry in computer science / Andrew M. Pitts
: hardback. - Cambridge : Cambridge University Press , 2013
|
| 8 |
58
Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange
: hardback. - Cambridge : Cambridge University Press , 2016
|
| 9 |
59
Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs
: hardback. - Cambridge : Cambridge University Press , 2017
|
| 10 |
60
Finite-state techniques : automata, transducers and bimachines / Stoyan Mihov, Klaus U. Schulz
: hardback. - Cambridge, U.K. : Cambridge University Press , 2019
|
