E-LIB Suche - Ergebnisse für: Emde Boas, Peter

1

Analyzing the Logic of Sun Tzu in "The Art of War", Using M..

Logic in Asia: Studia Logica Library

van Emde Boas, Peter ; van Emde Boas, Ghica ; Xie, Kaibo. - 1st ed. 2022 . , 2022

2

SOFSEM 2013: Theory and Practice of Computer Science

39th International Conference on Current Trends in Theory a... Lecture Notes in Computer Science ; 7741;SpringerLink, Bücher

Emde Boas, Peter ; Sack, Harald ; Groen, Frans C. A... , 2013

Link: https://doi.org/10.1007/..

3

Theory of Computation at CiE 2005:

Cooper, S. Barry ; Lowe, Benedikt ; van Emde Boas, Peter
Theory of Computing Systems. 41 (2007) 1 - p. 1-2 , 2007

Link: https://doi.org/10.1007/..

4

SOFSEM 2004: Theory and Practice of Computer Science

30th Conference on Current Trends in Theory and Practice of... Lecture Notes in Computer Science ; 2932

Emde Boas, Peter ; Pokorný, Jaroslav ; Bieliková, Mária. , 2004

Link: http://dx.doi.org/10.100..

5

Automata, Languages and Programming

26th International Colloquium, ICALP’99 Prague, Czech Repub... Lecture Notes in Computer Science ; 1644;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Wiedermann, Jiří ; Emde Boas, Peter ; Nielsen, Mogens , 1999

Link: https://doi.org/10.1007/..

6

Compared to what? An introduction to the analysis of algori..:

van Emde Boas, Peter
Science of Computer Programming. 24 (1995) 2 - p. 183-185 , 1995

Link: https://doi.org/10.1016/..

7

A survey of the rule language RL/1:

van Denneheuvel, Sieger ; Kwast, Karen ; Zhisheng, Huang.
Journal of Computer Science and Technology. 8 (1993) 1 - p. 92-96 , 1993

Link: https://doi.org/10.1007/..

8

Twenty questions to a p-selector:

Buhrman, Harry ; Torenvliet, Leen ; van Emde Boas, Peter
Information Processing Letters. 48 (1993) 4 - p. 201-204 , 1993

Link: https://doi.org/10.1016/..

9

Problems:

van Emde Boas, Peter
Journal of Algorithms. 12 (1991) 1 - p. 183-185 , 1991

Link: https://doi.org/10.1016/..

10

Problems:

van Emde Boas, Peter
Journal of Algorithms. 12 (1991) 4 - p. 700-703 , 1991

Link: https://doi.org/10.1016/..

11

Simplicity, immunity, relativizations and nondeterminism:

Torenvliet, Leen ; van Emde Boas, Peter
Information and Computation. 80 (1989) 1 - p. 1-17 , 1989

Link: https://doi.org/10.1016/..

12

Space measures for storage modification machines:

van Emde Boas, Peter
Information Processing Letters. 30 (1989) 2 - p. 103-110 , 1989

Link: https://doi.org/10.1016/..

13

Integrating relational databases and constraint languages:

Hansen, Michael R. ; Hansen, Bo S. ; Lucas, Peter.
Computer Languages. 14 (1989) 2 - p. 63-82 , 1989

Link: https://doi.org/10.1016/..

14

Maintaining multiple representations of dynamic data struct..:

Smid, Michiel H.M. ; Overmars, Mark H. ; Torenvliet, Leen.
Information and Computation. 83 (1989) 2 - p. 206-233 , 1989

Link: https://doi.org/10.1016/..

15

The problem of space invariance for sequential machines:

Slot, Cees ; van Emde Boas, Peter
Information and Computation. 77 (1988) 2 - p. 93-122 , 1988

Link: https://doi.org/10.1016/..