-
1
-
-
0003997240
-
-
Springer-Verlag, Berlin
-
J.L. Balcázar, J. Díaz, and J. Gabarró. Structural Complexity I, 2nd Edition, Springer-Verlag, Berlin, 1995.
-
(1995)
Structural Complexity I, 2nd Edition
-
-
Balcázar, J.L.1
Díaz, J.2
Gabarró, J.3
-
2
-
-
0001578717
-
Decision Problems for ω-Automata
-
L.H. Landweber. Decision Problems for ω-Automata, Math. Syst. Theory, Vol. 3 : 4, 1969, pp. 376-384.
-
(1969)
Math. Syst. Theory
, vol.3
, Issue.4
, pp. 376-384
-
-
Landweber, L.H.1
-
3
-
-
84959214611
-
On Algorithms and Interaction
-
M. Nielsen, B. Rovan (Eds.), Mathematical Foundations of Computer Science 2000, Springer-Verlag, Berlin
-
J. van Leeuwen, J. Wiedermann. On Algorithms and Interaction, in: M. Nielsen, B. Rovan (Eds.), Mathematical Foundations of Computer Science 2000, Lecture Notes in Computer Science Vol. 1893, Springer-Verlag, Berlin, 2000, pp. 99-113.
-
(2000)
Lecture Notes in Computer Science
, vol.1893
, pp. 99-113
-
-
Van Leeuwen, J.1
Wiedermann, J.2
-
4
-
-
0002470168
-
The Turing Machine Paradigm in Contemporary Computing
-
B. Enquist, W. Schmidt (Eds.), Springer-Verlag, Berlin
-
J. van Leeuwen, J. Wiedermann. The Turing Machine Paradigm in Contemporary Computing, in: B. Enquist, W. Schmidt (Eds.), Mathematics Unlimited - 2001 and Beyond, Springer-Verlag, Berlin, 2001, pp. 1139-1156.
-
(2001)
Mathematics Unlimited - 2001 and Beyond
, pp. 1139-1156
-
-
Van Leeuwen, J.1
Wiedermann, J.2
-
5
-
-
0013070852
-
-
Technical Report UU-CS-2001-02, Institute of Information and Computing Sciences, Utrecht University
-
J. van Leeuwen, J, Wiedermann. A Computational Model of Interaction in Embedded Systems, in: Technical Report UU-CS-2001-02, Institute of Information and Computing Sciences, Utrecht University, 2001.
-
(2001)
A Computational Model of Interaction in Embedded Systems
-
-
Van Leeuwen, J.1
Wiedermann, J.2
-
6
-
-
84943223728
-
Beyond the Turing Limit: Evolving Interactive Systems
-
L. Pacholski, P. Ružička (Eds.), SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics, Springer-Verlag, Berlin
-
J. van Leeuwen, J. Wiedermann. Beyond the Turing Limit: Evolving Interactive Systems, in: L. Pacholski, P. Ružička (Eds.), SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics, Lecture Notes in Computer Science Vol. 2234, Springer-Verlag, Berlin, 2001, pp. 90-109.
-
(2001)
Lecture Notes in Computer Science
, vol.2234
, pp. 90-109
-
-
Van Leeuwen, J.1
Wiedermann, J.2
-
8
-
-
0000103668
-
ω-Languages
-
G. Rozenberg, A. Salomaa (Eds.), Springer-Verlag, Berlin
-
L. Staiger. ω-Languages, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 3, Beyond Words, Springer-Verlag, Berlin, 1997, pp. 339-387.
-
(1997)
Handbook of Formal Languages, Vol. 3, Beyond Words
, pp. 339-387
-
-
Staiger, L.1
-
9
-
-
0001282303
-
Automata on Infinite Objects
-
J. van Leeuwen (Ed.), Elsevier Science, Amsterdam
-
W. Thomas. Automata on Infinite Objects, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, Elsevier Science, Amsterdam, 1990, pp. 134-191.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 134-191
-
-
Thomas, W.1
-
10
-
-
35048844253
-
-
Technical Report UU-CS-2004-018, Institute of Information and Computing Sciences, Utrecht University
-
P. Verbaan, J, van Leeuwen, J. Wiedermann. Lineages of Automata, Technical Report UU-CS-2004-018, Institute of Information and Computing Sciences, Utrecht University, 2004.
-
(2004)
Lineages of Automata
-
-
Verbaan, P.1
Van Leeuwen, J.2
Wiedermann, J.3
-
11
-
-
0031144006
-
Why Interaction is more Powerful than Algorithms
-
P. Wegner. Why Interaction is more Powerful than Algorithms, Comm. of the ACM, Vol. 40:5, 1997, pp. 81-91.
-
(1997)
Comm. of the ACM
, vol.40
, Issue.5
, pp. 81-91
-
-
Wegner, P.1
-
12
-
-
0347946774
-
New Models of Computation
-
P. Wegner, E. Eberbach. New Models of Computation, The Computer Journal, Vol. 47:1, 2004, pp. 4-9.
-
(2004)
The Computer Journal
, vol.47
, Issue.1
, pp. 4-9
-
-
Wegner, P.1
Eberbach, E.2
-
13
-
-
0347442145
-
Computations beyond Turing Machines
-
P. Wegner, D. Goldin. Computations beyond Turing Machines, Comm. of the ACM, Vol. 46, 2003, pp. 100-102.
-
(2003)
Comm. of the ACM
, vol.46
, pp. 100-102
-
-
Wegner, P.1
Goldin, D.2
-
14
-
-
84949767178
-
Emergence of a Super-Turing Computational Potential in Artificial Living Systems
-
J. Kelemen, P. Sosík (Eds.), Advances in Artificial Life, 6th European Conference (ECAL 2001), Springer-Verlag, Berlin
-
J. Wiedermann, J. van Leeuwen. Emergence of a Super-Turing Computational Potential in Artificial Living Systems, in: J. Kelemen, P. Sosík (Eds.), Advances in Artificial Life, 6th European Conference (ECAL 2001), Lecture Notes in Artificial Intelligence Vol. 2159, Springer-Verlag, Berlin, 2001, pp. 55-65.
-
(2001)
Lecture Notes in Artificial Intelligence
, vol.2159
, pp. 55-65
-
-
Wiedermann, J.1
Van Leeuwen, J.2
-
15
-
-
0036984297
-
The Emergent Computational Potential of Evolving Artificial Living Systems
-
IOS Press, Amsterdam
-
J. Wiedermann, J. van Leeuwen. The Emergent Computational Potential of Evolving Artificial Living Systems, AI Communications, Vol. 15 No. 4, IOS Press, Amsterdam, 2002, pp. 205-215.
-
(2002)
AI Communications
, vol.15
, Issue.4
, pp. 205-215
-
-
Wiedermann, J.1
Van Leeuwen, J.2
|