WorldCat Identities

Emde Boas, P. van

Overview
Works: 151 works in 330 publications in 2 languages and 1,565 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator
Classifications: QA76.751, 005.1
Publication Timeline
.
Most widely held works by P. van Emde Boas
Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings by J Wiedermann( Book )

16 editions published in 1999 in English and held by 214 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Republic, in July 1999. The 56 revised full papers presented were carefully reviewed and selected from a total of 126 submissions; also included are 11 inivited contributions. Among the topics addressed are approximation algorithms, algebra and circuits, concurrency, semantics and rewriting, process algebras, graphs, distributed computing, logic of programs, sorting and searching, automata, nonstandard computing, regular languages, combinatorial optimization, automata and logics, string algorithms, and applied logics
SOFSEM 2004 : theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24-30, 2004 : proceedings by P. van Emde Boas( Book )

17 editions published in 2004 in English and held by 202 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Mern, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies
Semantics and contextual expression( Book )

6 editions published in 1989 in English and held by 131 WorldCat member libraries worldwide

Interfaces between computer science and operations research : proceedings of a symposium held at the Mathematisch Centrum, Amsterdam, September 7-10, 1976 by Symposium on Interfaces Between Computer Science and Operations Research( Book )

8 editions published between 1978 and 1979 in English and Dutch and held by 126 WorldCat member libraries worldwide

Abstract resource-bound classes by P. van Emde Boas( Book )

8 editions published in 1974 in 3 languages and held by 27 WorldCat member libraries worldwide

SOFSEM 2013: theory and practice of computer science : 39th International Conference on Current Trends in Theory and Practice of Computer Science ; Špindlerův Mlýn,Czech Republic, January 26-31, 2013 ; proceedings by SOFSEM (Conference)( Book )

3 editions published in 2013 in English and held by 23 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors
Ne probentur oracula by P. van Emde Boas( Book )

2 editions published in 1980 in Dutch and held by 16 WorldCat member libraries worldwide

Theory and practice of computer science : proceedings( Book )

2 editions published in 2004 in English and held by 15 WorldCat member libraries worldwide

Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978( Book )

2 editions published in 1978 in English and held by 14 WorldCat member libraries worldwide

Associative storage modification machines by John Tromp( Book )

8 editions published in 1990 in English and held by 11 WorldCat member libraries worldwide

Abstract: "We present a parallel version of the storage modification machine. This model, called the Associative Storage Modification Machine (ASMM), has the property that it can recognize in polynomial time exactly what Turing machines can recognize in polynomial space. The model therefore belongs to the Second Machine Class, consisting of those parallel machine models that satisfy the parallel computation thesis. The Associative Storage Modification Machine obtains its computational power from following pointers in the reverse direction."
The STO-problem is NP-hard by Krzysztof R Apt( Book )

6 editions published in 1994 in English and Undetermined and held by 10 WorldCat member libraries worldwide

Abstract: " A finite set of term equations E is called subject to the occur-check (STO) if a sequence of actions of the Martelli-Montanari unification algorithm starts with E and ends with a failure due to occur- check. We prove here that the problem of deciding whether E is STO is NP- hard."
A semantical model for integration and modularization of rules by P. van Emde Boas( Book )

5 editions published in 1986 in English and held by 9 WorldCat member libraries worldwide

Colloquium complexiteit en algoritmen by Colloquium Complexiteit en Algoritmen( Book )

2 editions published in 1982 in Dutch and held by 9 WorldCat member libraries worldwide

Machine Models and Simulations by P. van Emde Boas( Book )

6 editions published between 1987 and 1989 in English and held by 8 WorldCat member libraries worldwide

Theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science ; proceedings by SOFSEM( )

1 edition published in 2004 in English and held by 8 WorldCat member libraries worldwide

A combinatorial problem on finite Abelian groups by P. van Emde Boas( Book )

5 editions published in 1967 in English and Dutch and held by 8 WorldCat member libraries worldwide

Mostowski's universal set-algebra by P. van Emde Boas( Book )

3 editions published in 1973 in English and held by 8 WorldCat member libraries worldwide

Een pak met een korte broek by P. van Emde Boas( Book )

1 edition published in 1977 in Dutch and held by 6 WorldCat member libraries worldwide

Each complete bipartite graph minus a matching is representable by line segments by P. van Emde Boas( Book )

5 editions published in 1976 in English and held by 6 WorldCat member libraries worldwide

SOFSEM 2004 : theory and practice of computer science : proceedings by P. van Emde Boas( Book )

5 editions published in 2004 in English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.50 for SOFSEM 201 ... to 0.95 for Theory and ...)

SOFSEM 2004 : theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24-30, 2004 : proceedingsTheory and practice of computer science : proceedingsTheory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science ; proceedingsSOFSEM 2004 : theory and practice of computer science : proceedings
Alternative Names
Boas, P. van Emde

Boas Peter van Emde

Emde Boas, P. van

Emde Boas, Peter van

Peter van Emde Boas Dutch computer scientist

Peter van Emde Boas niederlndischer Informatiker

Van Emde Boas, P.

van Emde Boas, Peter.

Languages
English (101)

Dutch (8)

Covers
SOFSEM 2004 : theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24-30, 2004 : proceedingsTheory and practice of computer science : proceedingsMathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978Theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science ; proceedingsSOFSEM 2004 : theory and practice of computer science : proceedings