Automata, Languages and Programming

Conditional dependencies for horizontal decompositions

Pages 67-82

Bra, P. (et al.)

On the relationship of CCS and CSP

Pages 83-96

Brookes, Stephen D.

Behavioural equivalence relations induced by programming logics

Pages 97-108

Brookes, Stephen D. (et al.)

Lower bounds for constant depth circuits for prefix problems

Pages 109-117

Chandra, Ashok K. (et al.)

Test sets for morphisms with bounded delay

Pages 118-127

Choffrut, Christian (et al.)

Symmetric and economical solutions to the mutual exclusion problem in a distributed system

Pages 128-136

Cohen, Shimon (et al.)

Ambiguity and decision problems concerning number systems

Pages 137-146

Culik, Karel, II (et al.)

On the observational semantics of fair parallelism

Pages 147-159

Darondeau, Ph. (et al.)

An O(N4) algorithm to construct all Voronoi diagrams for k nearest neighbor searching

Pages 160-172

Dehne, Frank

Algebraic languages and polyomnoes enumeration

Pages 173-181

Delest, M. P. (et al.)

On the number of equal-sized semispaces of a set of points in the plane

Pages 182-187

Edelsbrunner, Herbert (et al.)

Algebraic specifications with generating constraints

Pages 188-202

Ehrig, H. (et al.)

Wythoff games, continued fractions, cedar trees and Fibonacci searches

Pages 203-225

Fraenkel, Aviezri S.

Initial index: A new complexity function for languages

Pages 226-236

Gabarro, J.

Modular compiler descriptions based on abstract semantic data types (Extended Abstract)

Pages 237-249

Ganzinger, Harald

Polynomial-time factorization of multivariate polynomials over finite fields

Pages 250-263

Gathen, J. (et al.)

Processes of place/transition-nets

Pages 264-277

Goltz, U. (et al.)

A hardware semantics based on temporal intervals

Pages 278-291

Halpern, Joseph (et al.)

Lower bounds for solving undirected graph problems on VLSI

Pages 292-303

Hambrusch, Susanne E. (et al.)

Concurrent probabilistic program, or: How to schedule if you must

Pages 304-318

Hart, Sergiu (et al.)

Computation times of NP sets of different densities

Pages 319-330

Hartmanis, J. (et al.)

Rewrite methods for clausal and non-clausal theorem proving

Pages 331-346

Hsiang, Jieh (et al.)

Complexity of infinite trees

Pages 347-360

Indermark, K.

Incremental construction of unification algorithms in equational theories

Pages 361-373

Jouannaud, Jean -Pierre (et al.)

Tree automata and attribute grammars

Pages 374-384

Kamimura, Tsutomu

Effectively given spaces

Pages 385-396

Kamimura, T. (et al.)

A note on intersections of free submonoids of a free monoid

Pages 397-407

Karhumäki, Juhani

A fast sorting algorithm for VLSI

Pages 408-419

Lang, Hans -Werner (et al.)

On the composition of morphisms and inverse morphisms

Pages 420-432

Latteux, M. (et al.)

On the group complexity of a finite language

Pages 433-444

Rest, Evelyne (et al.)

Reasoning with time and chance

Pages 445-457

Lehmann, Daniel (et al.)

Factoring multivariate integral polynomials

Pages 458-465

Lenstra, A. K.

On the study data structures: Binary tournaments with repeated keys

Pages 466-477

Lescanne, P. (et al.)

Minimizing width in linear layouts

Pages 478-490

Makedon, F. S. (et al.)

Proving precedence properties: The temporal way

Pages 491-512

Manna, Zohar (et al.)

An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language

Pages 513-526

Möller, Bernhard

Searchability in merging and implicit data structures

Pages 527-535

Munro, J. Ian (et al.)

Strong abstract interpretation using power domains

Pages 536-547

Mycroft, A. (et al.)

Testing equivalences for processes

Pages 548-560

Nicola, R. (et al.)

Specification-oriented semantics for communicating processes

Pages 561-572

Olderog, E. -R. (et al.)

Complexity classes of alternating machines with oracles

Pages 573-584

Orponen, Pekka

A propos d'une conjecture de F. Dejean sur les répétitions dans les mots

Pages 585-596

Pansiot, Jean -Jacques

Parallel dictionaries on 2–3 trees

Pages 597-609

Paul, W. (et al.)

Varietes de semigroupes et mots infinis

Pages 610-616

Perrin, Dominique

Arbres et hierarchies de concatenation

Pages 617-628

Pin, Jean -Eric

A multiprocess network logic with temporal and spatial modalities

Pages 629-639

Reif, John (et al.)

Enumeration of success patterns in logic programs

Pages 640-652

Sato, Taisuke (et al.)

Immunity

Pages 653-661

Schöning, Uwe (et al.)

Power domains and predicate transformers: A topological view

Pages 662-675

Smyth, M. B.

Recognition and isomorphism of two dimensional partial orders

Pages 676-686

Spinrad, Jeremy (et al.)

On the simulation of many storage heads by a single one

Pages 687-694

Vitányi, Paul M. B.

Synchronisation trees

Pages 695-711

Winskel, Glynn

Cutting and partitioning a graph after a fixed pattern

Pages 712-722

Yannakakis, Mihalis (et al.)

Context-free controlled etol systems

Pages 723-733

Lange, Klaus -Jörn

Referees for ICALP-83

Pages 734-734