Theoretical Computer Science

A Selection of Papers Presented at the ICALP '94, the 21st International Colloquium on Automata, Languages and Programming, Jerusalem, Israel, July 1994

( 102 pages )

S. Abramsky, P.–L. Curien

Vol. 115, no. 1:

Selected Papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991

( 198 pages )

S. Abramsky, M. Mavronicolas

Volume 343, Numbers 1-2:

Game Theory Meets Theoretical Computer Science

( 282 pages )

L. Aceto, W. Fokkink, A. Ingolfsdottir et al.

Volume 335, Numbers 2-3:

Process Algebra

( 280 pages )

J. Adámek, M. Escardó, M. Hofmann

Volume 294, Numbers 1-2:

Category Theory and Computer Science

( 332 pages )

F.N. Afrati, P.G. Kolaitis

Volume 239, Number 2:

Database Theory

( 154 pages )

V.S. Alagar

Vol. 133, no. 2:

Formal Methods in Database and Software Engineering

( 258 pages )

V.S. Alagar

Vol. 183, no. 2:

Algebraic Methodology and Software Technology

( 164 pages )

A. Apostolico, R. Giancarlo

Volume 335, Number 1:

Pattern Discovery in the Post Genome

( 126 pages )

S. Arikawa, S. Miyano, T. Yokomori

Vol. 137, no. 1:

Algorithmic Learning Theory

( 184 pages )

S. Arikawa, K. Furukawa, S. Morishita et al.

Volume 292, Number 2:

Theoretical Aspects of Discovery Science

( 230 pages )

H. Arimura, S. Jain

Volume 348, Number 1:

Algorithmic Learning Theory (ALT 2000)

( 128 pages )

A. Arnold

Vol. 106, no. 1:

Selected Papers of the Fifteenth Colloquium on Trees in Algebra and Programming (CAAP '90), Copenhagen, Denmark, 15–18 May 1990

( viii + 182 pages )

S. Artemov, M. Mislove

Volume 357, Numbers 1-3:

Clifford Lectures and the Mathematical Foundations of Programming Semantics

( 280 pages )

E. Astesiano

Vol. 173, no. 2:

Algebraic Development Techniques

( 248 pages )

G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi della Rocca

Vol. 83, no. 1:

Selected Papers of the 16th International Colloquium on Automata, Languages and Programming, Stresa, Italy, 11-15 July 1989

( viii + 168 pages )

G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi della Roca

Vol. 84, no. 1:

Selected Papers of the 16th International Colloquium on Automata, Languages, and Programming, Stresa, Italy, 11-15 July 1989

( vi + 150 pages )

G. Ausiello, G.F. Italiano

Vol. 130, no. 1:

Dynamic and On–line Algorithms

( 244 pages )

G. Ausiello, A. Marchetti-Spaccamela

Vol. 203, no. 1:

Graph-theoretic Concepts in Computer Science

( 184 pages )

M. Baaz, G. Gottlob, G. Moser

Volume 288, Number 1:

Complexity and Logic

( 194 pages )

T. Bäck, B. Löwe

Volume 371, Numbers 1-2:

Computing and the Natural Sciences

( 146 pages )

J. Baeten, F. Corradini

Volume 356, Number 3:

Expressiveness in Concurrency

( 234 pages )

J.C.M. Baeten, J.K. Lenstra, G.J. Woeginger

Volume 379, Number 3:

Automata, Languages and Programming

( 132 pages )

J.C.M. Baeten, I.C.C. Phillips

Volume 386, Number 3:

Expressiveness in Concurrency

( 106 pages )

J.–C. Bajard, C. Frougny, J.–M. Muller et al.

Vol. 162, no. 1:

Real Numbers and Computers

( 180 pages )

J.-C. Bajard, C. Frougny, J.-M. Muller

Vol. 210, no. 1:

Real Numbers and Computers

( 234 pages )

J.-C. Bajard, C. Frougny, P. Kornerup (G-EIC) et al.

Volume 291, Number 2:

Real Numbers and Computers

( 186 )

S. Bandini, G. Mauri

Vol. 217, no. 1:

Cellular Automata

( 180 pages )

E. Barcucci, A. Del Lungo

Volume 307, Number 2:

Random Generation of Combinatorial Objects and Bijective Combinatorics

( 236 pages )

K.J. Batenburg, A. Nagy, M. Nivat

Volume 406, Numbers 1-2:

Discrete Tomography and Digital Geometry: In memory of Attila Kuba

( 170 pages )

D. Beauquier, Y. Matijassevich

Volume 303, Issue 1:

Logic and Complexity in Computer Science

( 264 pages )

A. Beckmann, E. Beggs, B. Löwe

Volume 394, Number 3:

From Gödel to Einstein: Computability between Logic and Physics

( 88 pages )

S. Ben-David, J. Case, T. Zeugmann

Volume 382, Number 3:

Algorithmic Learning Theory

( 114 pages )

S. Berardi, U. de'Liguoro

Volume 398, Numbers 1-3:

Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca

( 260 pages )

U. Berger, K.-H. Niggl, B. Reus

Volume 264, Number 2:

Domains

( 56 pages )

V. Berthe, P. Lecomte, M. Rigo

Volume 391, Numbers 1-2:

Combinatorics, Automata and Number Theory

( 188 pages )

A. Berthiaume, J.D. Rogers

Volume 292, Number 3:

Algorithms in Quantum Information Processing

( 164 pages )

A. Bertoni, Z. Ésik, J. Karhumäki

Volume 356, Numbers 1-2:

In honour of Professor Christian Choffrut on the occasion of his 60th birthday

( 264 pages )

G. Bertrand, R. Malgouyres

Volume 283, Number 1:

Discrete Geometry for Computer Imagery

( 268 pages )

E. Best, G. Rozenberg

Vol. 114, no. 1:

Selected Papers of the 3rd Workshop on Concurrency and Compositionality, Goslar, Germany, 5–8 March 1991

( 208 pages )

L. Birkedal, M. Escardo, A. Jung et al.

Volume 316, Numbers 1-3:

Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott

( 324 pages )

D. Bjørner, V. Kotov

Vol. 90, no. 1:

Images of Programming

( xii + 270 pages )

L. Blum, F. Cucker

Volume 235, Number 1:

Selected Papers in honor of Manuel Blum

( 216 pages )

C. Böhm, I. Guessarian

Vol. 212:

Gentzen

( 320 pages )

G. Bongiovanni, G. Gambosi, R. Petreschi

Volume 285, Number 1:

Algorithms and Complexity

( 118 pages )

E. Borger

Volume 336, Number 2-3:

Abstract State Machines and High-Level System Design and Analysis

( 234 pages )

A. Bouajjani

Volume 256, Numbers 1-2:

Algorithmic Verification of Infinite-State Systems

( 170 pages )

V. Bouchitté, M. Habib, M. Morvan

Vol. 175, no. 2:

Orders, Algorithms and Applications

( 188 pages )

L. Bougé, P. Fraigniaud, A. Mignotte et al.

Vol. 196:

Parallel Computing

( 428 pages )

S. Brlek, C. Reutenauer

Volume 380, Number 3:

Combinatorics on Words

( 192 pages )

S. Brookes, M. Mislove

Vol. 228, no. 1-2:

Mathematical Foundations of Programming Semantics

( 284 pages )

S. Brookes, M. Mislove

Volume 278, Numbers 1-2:

Mathematical Foundations of Programming Semantics

( 336 pages )

M. Burgin, A. Klinger

Volume 317, Numbers 1-3:

Super-Recursive Algorithms and Hypercomputation

( 270 pages )

M. Burgin, C.S. Calude

Volume 383, Numbers 2-3:

Complexity of Algorithms and Computations

( 180 pages )

L. Busé, M. Elkadi, B. Mourrain

Volume 392, Numbers 1-3:

Computational Algebraic Geometry and Applications

( 178 pages )

N. Busi, C. Zandron

Volume 404, Numbers 1-2:

Membrane Computing and Biologically Inspired Process Calculi

( 184 pages )

J. Calmet, A. Carrière

Vol. 187:

Computer Algebra

( 296 pages )

J. Case, T. Shinohara, T. Zeugmann et al.

Volume 397, Numbers 1-3:

Forty Years of Inductive Inference: Dedication to the 60th Birthday of Rolf Wiehagen

( 246 pages )

P. Cegielski, M. Margenstern, J.-P. Ressayre et al.

Volume 257, Numbers 1-2:

Weak Arithmetics

( 254 pages )

P. Cegielski, M. More

Volume 322, Number 1:

Weak Arithmetics

( 230 pages )

M. Cerioli, T. Margaria, M. Wermelinger

Volume 376, Number 3:

Fundamental Aspects of Software Engineering

( 88 pages )

A. Cerone, A. Di Pierro

Volume 346, Number 1:

Quantitative Aspects of Programming Languages (QAPL 2004)

( 182 pages )

N. Cesa-Bianchi, R. Reischuk, T. Zeugmann

Volume 350, Number 1:

Algorithmic Learning Theory (ALT 2002)

( 162 pages )

J.-M. Champarnaud, D. Maurel, D. Ziadi

Volume 267, Numbers 1-2:

Implementing Automata

( 158 pages )

G. Chang, M. Deza, Y. Manoussakis et al.

Volume 263, Numbers 1-2:

Combinatorics and Computer Science

( 380 pages )

Z.-Z. Chen, X. Deng, D.-Z. Du

Volume 378, Number 3:

Algorithms and Computation

( 122 pages )

J.-M. Chesneaux, C. Frougny, J.-M. Muller

Volume 279, Numbers 1-2:

Real Numbers

( 98 pages )

C. Choffrut, T. Lengauer

Vol. 103, no. 1:

Selected Papers of the 7th Annual Symposium on Theoretical Aspects of Computer Science (STACS '90), Rouen, France, 22-24 February 1990

( viii + 164 pages )

C. Choffrut, M. Jantzen

Vol. 113, no. 1:

Selected Papers of the 8th Annual Symposium on Theoretical Aspects of Computer Science (STACS '91), Hamburg, Germany, 14–16 February 1991

( 198 pages )

K.Y. Chwa, J.I. Munro

Volume 363, Number 1:

Computing and Combinatorics, 10th Annual International Conference on Computing and Combinatorics 2004

( 106 pages )

C. Consel

Volume 248, Numbers 1-2:

Partial Evaluation and Semantics-Based Program Manipulation

( 290 pages )

B. Cooper, A. Li

Volume 384, Number 1:

Theory and Applications of Models of Computation

( 136 pages )

R. Cori, B. Monien

Vol. 74, no. 1:

Sixth Annual Symposium on Theoretical Aspects of Computer Science

( viii + 120 pages )

B. Courcelle, C. Rozenberg

Vol. 109, no. 1/2:

Selected Papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, 21–23 March 1991

( viii + 276 pages )

M. Crochemore

Vol. 92, no. 1:

Combinatorial Pattern Matching School Paris, July 1990

( viii + 226 pages )

M. Cryan, M. Farach-Colton

Volume 382, Number 2:

Latin American Theoretical Informatics

( 82 pages )

E. Csuhaj-Varju, D. Wotschke

Volume 330, Number 2:

Descriptional Complexity of Formal Systems

( 180 pages )

F. Cucker

Vol. 133, no. 1:

Selected Papers of the Workshop on Continuous Algorithms and Complexity, Barcelona, Spain, October 1993

( 194 pages )

P.-L. Curien

Volume 281, Numbers 1-2:

Selected Papers in honour of Maurice Nivat

( 630 pages )

O. Danvy, P. O'Hearn, P. Wadler

Volume 375, Numbers 1-3:

Festschrift for John C. Reynolds's 70th Birthday

( 350 pages )

M. Dauchet, J.L. Remy

Vol. 72, no. 2/3:

Thirteenth Colloque sur les Arbres en Algèbre et en Programmation, Nancy, France, March 1988

( ii + 200 pages )

M. Dauchet

Volume 236, Numbers 1-2:

Trees in Algebra and Programming

( 234 pages )

M. Daumas, N. Revol

Volume 351, Number 1:

Real Numbers and Computers

( 128 pages )

F. de Boer, M. Bonsangue

Volume 331, Numbers 2-3:

Formal Methods for Components and Objects

( 238 pages )

F. de Boer, M. Bonsangue

Volume 343, Number 3:

Formal Methods for Components and Objects

( 246 pages )

F. de Boer, M. Bonsangue

Volume 365, Numbers 1-2:

Formal Methods for Components and Objects

( 168 pages )

P. Degano, R. Gorrieri, A. Marchetti-Spacca

Vol. 221, no. 1-2:

ICALP '97, XXIV International Colloquium on Automata, Languages and Programming, Bologna, Italy, 7-11 July 1997

( 508 pages )

P. Degano, L. Viganò

Volume 367, Numbers 1-2:

Automated Reasoning for Security Protocol Analysis

( 270 pages )

M. Delest, G. Jacob, P. Leroux

Vol. 117:

Selected Papers of the Conference on Formal Power Series and Algebraic Combinatorics, Bordeaux, France, 2–5 May 1991

( 326 pages )

A. de Luca, F. Mignosi, D. Perrin et al.

Volume 340, Number 2:

The Art of Theory

( 278 pages )

J. Demongeot, J. Mazoyer

Volume 322, Number 2:

Discrete Applied Problems - Florilegium for E. Goles

( 192 pages )

X. Deng

Volume 378, Number 2:

Internet and Network Economics

( 76 pages )

R. De Nicola, U. Montanari

Vol. 96, no. 1:

Selected Papers of the Second Workshop on Concurrency and Compositionality, San Miniato, Italy, March 1990

( viii + 284 pages )

R. de Queiroz, D. Kozen

Volume 355, Number 2:

Logic, Language, Information and Computation

( 156 pages )

R. de Queiroz, P. Cégielski

Volume 364, Number 2:

Logic, Language, Information and Computation, 11th Workshop on Logic, Language, Information and Computation

( 128 pages )

P. Deransart, I. Pottossine

Vol. 71, no. 2:

Second French–Soviet Workshop on Methods of Compilation and Program Construction, Nice, France, February

( ii + 106 pages )

M. Deza, Y. Manoussakis, J.-M. Steyaert

Volume 235, Number 2:

Combinatorics and Optimization

( 142 pages )

M. Dezani-Ciancaglini, M. Okada, M. Takahashi

Volume 272, Numbers 1-2:

Theories of Types and Proofs

( 400 pages )

M. Dezani–Ciancaglini, S. Ronchi Della Rocca, M. Venturini Zilli

Vol. 121:

A Collection of Contributions in Honour of Corrado Böhm on the Occasion of His 70th Birthday

( 462 pages )

J. Díaz, F. Orejas

Vol. 89, no. 1:

Selected Papers of the 2nd International Joint Conference on Theory and Practice of Software Development (TAPSOFT '89), Barcelona, Spain, 13-17 March 1989

( viii + 206 pages )

J. Díaz, T. Payne

Volume 307, Number 3:

Selected Papers in honor of Lawrence Harper

( 120 pages )

J. Díaz, J. Karhumaki

Volume 348, Numbers 2-3:

Automata, Languages and Programming: Algorithms and Complexity (ICALP-A 2004)

( 236 pages )

A. Di Pierro, H. Wiklicky

Volume 382, Number 1:

Quantitative Aspects of Programming Languages

( 84 pages )

R. Downey, M. Langston, R. Niedermeier

Volume 351, Number 3:

Parameterized and Exact Computation

( 166 pages )

D. Du, M. Li

Vol. 181, no. 2:

Computing and Combinatorics

( 180 pages )

D.-Z. Du, K.-I. Ko

Vol. 207, no. 1:

In Memoriam of Ronald V. Book

( 276 pages )

D. Du, P. Eades, X. Lin

Volume 289, Number 2:

Computing and Combinatorics

( 154 pages )

O. Dubois, R. Monasson, B. Selman et al.

Volume 265, Numbers 1-2:

Phase Transitions in Combinatorial Problems

( 308 pages )

G. Duchamp, G. Jacob, D. Krob

Vol. 98