-
2
-
-
0013260470
-
-
Abramsky S. and Jung A. Omain Theory, in S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, III Oxford University Press
-
Abramsky S. and Jung A. Omain Theory, in S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. III Oxford University Press, 1994.
-
(1994)
Handbook of Logic In Computer Science
-
-
-
3
-
-
84955573850
-
Retracing some paths in Process algebra, In CONCUR 96
-
Springer-Verlag
-
Abramsky S. Retracing some paths in Process algebra, In CONCUR 96, Lecture Notes in Computer Science, pp. 1-17, Springer-Verlag, 1996.
-
(1996)
Lecture Notes In Computer Science
, pp. 1-17
-
-
Abramsky, S.1
-
5
-
-
77952476915
-
Axiomatic Semantics
-
Paul E. Black, ed., U.S. National Institute of Standards and Technology, Available as
-
Black P.: Axiomatic Semantics, In Dictionary of Algorithms and Data Structures, Paul E. Black, ed., U.S. National Institute of Standards and Technology. (2005). Available as http://www.nist.gov/dads/HTML/axiomaticSemantics.html.
-
(2005)
In Dictionary of Algorithms and Data Structures
-
-
Black, P.1
-
6
-
-
8744306117
-
Basic Techniques for Two-way Finite Automata
-
In J. Pin (ed.), Springer-Verlag, LNCS
-
Birget J.-C. Basic Techniques for Two-way Finite Automata, In J. Pin (ed.) Formal Properties of Finite Automata and Applications, Springer-Verlag, LNCS, 1992, 56-64.
-
(1992)
Formal Properties of Finite Automata and Applications
, pp. 56-64
-
-
Birget, J.-C.1
-
10
-
-
33847679490
-
Almost Every Domain is Universal
-
Droste M. and Kuske D. Almost Every Domain is Universal, ENTCS 173, (2007), 103-119.
-
(2007)
ENTCS
, vol.173
, pp. 103-119
-
-
Droste, M.1
Kuske, D.2
-
12
-
-
77952506332
-
-
EditorDenis Howe, supported by Imperial College Dept. of Computing
-
FOLDOC: The Free Online Directory of Computing (1993), http://foldoc.org/, EditorDenis Howe, supported by Imperial College Dept. of Computing.
-
(1993)
FOLDOC: The Free Online Directory of Computing
-
-
-
13
-
-
16244373256
-
Continuous Lattices and Domains
-
Cambridge University Press
-
Gierz G., Hoffmann K. H., Keimel K., Lawson J. D., Mislove M. and Scott, D. S. (2003) Continuous Lattices and Domains, In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press.
-
(2003)
Encyclopedia of Mathematics and Its Applications
, vol.93
-
-
Gierz, G.1
Hoffmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
15
-
-
0001119508
-
Geometry of Interaction 1, Proceedings Logic Colloquium'88
-
Girard J.-Y. Geometry of Interaction 1, Proceedings Logic Colloquium'88, North-Holland, 1988,221-260.
-
(1988)
North-Holland
, pp. 221-260
-
-
Girard, J.-Y.1
-
16
-
-
85031925268
-
Geometry of Interaction 2
-
In Martin Löf, P. and Mints, G. (eds.)
-
Girard J.-Y. Geometry of Interaction 2, In Martin Löf, P. and Mints, G. (eds.) Proceedings of COLOG'88 Springer-Verlag Lecture Notes in Computer Science 417, 1988, 76-93.
-
(1988)
Proceedings of COLOG'88 Springer-Verlag Lecture Notes In Computer Science
, vol.417
, pp. 76-93
-
-
Girard, J.-Y.1
-
18
-
-
14544302250
-
A categorical framework for finite state machines
-
Hines P. A categorical framework for finite state machines, Mathematical Structures in Computer Science (13) (2003), 451-480.
-
(2003)
Mathematical Structures In Computer Science
, Issue.13
, pp. 451-480
-
-
Hines, P.1
-
19
-
-
33749989582
-
Physical systems as constructive logics, in Unconventional Computation
-
Calude, Dineen, Paun, Rozenburg, Stepney (eds.)
-
Hines P. Physical systems as constructive logics, in Unconventional Computation, Calude, Dineen, Paun, Rozenburg, Stepney (eds.) Springer LNCS vol. 4135, 2006, 101-112.
-
(2006)
Springer LNCS
, vol.4135
, pp. 101-112
-
-
Hines, P.1
-
21
-
-
77952520224
-
Order Theory and Iteration, Dagstuhl Seminar 06341
-
Time and Causality, Seminar Materials, available from
-
Hines P. Order Theory and Iteration, Dagstuhl Seminar 06341, Computational Structures for Modelling Space, Time and Causality (2006), Seminar Materials, available from http://kathrin.dagstuhl.de/06341/Materials2/.
-
(2006)
Computational Structures For Modelling Space
-
-
Hines, P.1
-
22
-
-
77952496636
-
-
submitted. Currently available as
-
Hines P. Machine Semantics, submitted. Currently available as: http://www.peterhines.net/downloads/papers/MachineSemantics.pdf.
-
Machine Semantics
-
-
Hines, P.1
-
23
-
-
77952518259
-
Gödel, Escher, Bach: An Eternal Golden Braid
-
Hofstadter J. Gödel, Escher, Bach: an Eternal Golden Braid, Penguin Books, 2000.
-
(2000)
Penguin Books
-
-
Hofstadter, J.1
-
24
-
-
0002907617
-
Atomless parts of spaces
-
Isbell J. Atomless parts of spaces, Math. Scand. 31 (1972), 5-32.
-
(1972)
Math. Scand
, vol.31
, pp. 5-32
-
-
Isbell, J.1
-
28
-
-
0003248906
-
Introduction to higher order categorical logic
-
Cambridge University Press
-
Lambek J. and Scott P. Introduction to higher order categorical logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press, 1986.
-
(1986)
Cambridge Studies In Advanced Mathematics
, vol.7
-
-
Lambek, J.1
Scott, P.2
-
31
-
-
51249188373
-
Chain-complete p.o. sets and directed sets with applications
-
Markowsky G. Chain-complete p.o. sets and directed sets with applications. Algebra Universalis, 6 (1976), 53-68.
-
(1976)
Algebra Universalis
, vol.6
, pp. 53-68
-
-
Markowsky, G.1
-
35
-
-
84874489428
-
-
DAIMI FN-19, Computer Science Department, Aarhus University, Also available as Elsevier EBOOK 1001, Media2book inc., Paris
-
Plotkin G. Astructural approach to operational semantics, Tech. Rep. DAIMI FN-19, Computer Science Department, Aarhus University (1981). Also available as Elsevier EBOOK 1001, Media2book inc., Paris.
-
(1981)
Astructural Approach to Operational Semantics, Tech. Rep
-
-
Plotkin, G.1
-
37
-
-
77952496214
-
The reduction of two-way automata to one-way automata IBM
-
Sheperdson J. C. The reduction of two-way automata to one-way automata IBM Journal of Research and Development (1959), 115-125.
-
(1959)
Journal of Research and Development
, pp. 115-125
-
-
Sheperdson, J.C.1
-
40
-
-
84972541021
-
A lattice-theoretical fixedpoint theorem and its applications
-
Tarski A. A lattice-theoretical fixedpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955), 285-309.
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-309
-
-
Tarski, A.1
-
41
-
-
27544497682
-
Zeno meets modern Science
-
Silagadze Z. Zeno meets modern Science, Acta Phys. Polon. B36 (2005), 2886-2930.
-
(2005)
Acta Phys. Polon
, vol.B36
, pp. 2886-2930
-
-
Silagadze, Z.1
|