-
1
-
-
0003953404
-
-
Addison-Wesley, Redwood City, CA
-
F. Buckley, F. Harary, Distance in Graphs, Addison-Wesley, Redwood City, CA, 1990.
-
(1990)
Distance in Graphs
-
-
Buckley, F.1
Harary, F.2
-
2
-
-
0000340756
-
As we may think
-
V. Bush, As we may think, Atlantic Monthly 76 (1945) 101-108.
-
(1945)
Atlantic Monthly
, vol.76
, pp. 101-108
-
-
Bush, V.1
-
3
-
-
0004232136
-
-
Cambridge University Press, Cambridge, UK
-
B.A. Davey, H.A. Priestly, Introduction to Lattices and Order, Cambridge University Press, Cambridge, UK, 1990.
-
(1990)
Introduction to Lattices and Order
-
-
Davey, B.A.1
Priestly, H.A.2
-
4
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen (Ed.), Chapter 16, Elsevier, Amsterdam
-
E.A. Emerson, Temporal and modal logic, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, Chapter 16, Elsevier, Amsterdam, 1990, pp. 997-1072.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 997-1072
-
-
Emerson, E.A.1
-
5
-
-
0025465251
-
A logic for reasoning about probabilities
-
R. Fagin, J.Y. Halpern, N. Megiddo, A logic for reasoning about probabilities, Inform, and Comput. 87 (1990) 78-128.
-
(1990)
Inform, and Comput.
, vol.87
, pp. 78-128
-
-
Fagin, R.1
Halpern, J.Y.2
Megiddo, N.3
-
9
-
-
0000595574
-
Computational complexity of probabilistic Turing machines
-
J. Gill, Computational complexity of probabilistic Turing machines, SIAM J. Comput. 6 (1977) 675-695.
-
(1977)
SIAM J. Comput.
, vol.6
, pp. 675-695
-
-
Gill, J.1
-
10
-
-
0003442184
-
-
Addison-Wesley, Reading, MA
-
R.P. Grimaldi, Discrete and Combinatorial Mathematics, second edition, Addison-Wesley, Reading, MA, 1989.
-
(1989)
Discrete and Combinatorial Mathematics, Second Edition
-
-
Grimaldi, R.P.1
-
11
-
-
0003620778
-
-
Addison-Wesley, Reading, MA
-
J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, MA, 1979.
-
(1979)
Introduction to Automata Theory, Languages and Computation
-
-
Hopcroft, J.E.1
Ullman, J.D.2
-
12
-
-
0001951331
-
A catalog of complexity classes
-
J. van Leeuwen (Ed.), Chapter 2, Elsevier, Amsterdam
-
D.S. Johnson, A catalog of complexity classes, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. A, Chapter 2, Elsevier, Amsterdam, 1990, pp. 67-161.
-
(1990)
Handbook of Theoretical Computer Science
, vol.A
, pp. 67-161
-
-
Johnson, D.S.1
-
14
-
-
0002117788
-
Computability by probabilistic Turing machines
-
C.E. Shannon, J. McCarthy (Eds.), Princeton University Press, Princeton, NJ
-
K. de Leeuw, E.F. Moore, C.E. Shannon, N. Shapiro, Computability by probabilistic Turing machines, in: C.E. Shannon, J. McCarthy (Eds.), Automata Studies, Princeton University Press, Princeton, NJ, 1956, pp. 183-212.
-
(1956)
Automata Studies
, pp. 183-212
-
-
De Leeuw, K.1
Moore, E.F.2
Shannon, C.E.3
Shapiro, N.4
-
15
-
-
0020138113
-
Reasoning with time and chance
-
D. Lehman, S. Shelah, Reasoning with time and chance. Inform, and Control 53 (1982) 165-198.
-
(1982)
Inform, and Control
, vol.53
, pp. 165-198
-
-
Lehman, D.1
Shelah, S.2
-
16
-
-
21844471064
-
Navigation in Hypertext is easy only sometimes
-
Department of Computer Science, University College London
-
M. Levene, G. Loizou, Navigation in Hypertext is easy only sometimes, Research Note RN/ 94/43, Department of Computer Science, University College London.
-
Research Note
, vol.RN- 94-43
-
-
Levene, M.1
Loizou, G.2
-
17
-
-
0004209273
-
-
MIT Press, Cambridge, MA
-
R. McNaughton, S. Pappert, Counter-Free Automata, MIT Press, Cambridge, MA, 1971.
-
(1971)
Counter-free Automata
-
-
McNaughton, R.1
Pappert, S.2
-
18
-
-
21844479643
-
Fuzzy events realized by finite probabilistic automata
-
M. Nasu, N. Honda, Fuzzy events realized by finite probabilistic automata, Inform, and Control 12 (1968) 284-303.
-
(1968)
Inform, and Control
, vol.12
, pp. 284-303
-
-
Nasu, M.1
Honda, N.2
|