Automata, Languages and Programming

19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings

By: Werner Kuich (Editor)

Write A Review

Paperback | 1 July 1992

At a Glance

Paperback
736 Pages

Dimensions(cm)
23.39 x 15.6 x 3.73

Paperback

$210.72

or 4 interest-free payments of $52.68 with

or

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based conference covering all aspects of theoretical computer science, including such topics as computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design andlayout, parallel and distributed computation, theory of concurrency, and theory of robotics. The papers in the volume are grouped into thematic parts corresponding to their order of presentation at ICALP 92.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

Modelling and Control of Dynamic Spatially Distributed Systems

Pharmaceutical Processes

Paperback

RRP $311.95

$276.75

11%
OFF

The Univalence Principle

Paperback

RRP $219.00

$197.25

10%
OFF

Alcuin's Recreational Mathematics : River Crossings and other Timeless Puzzles - Marcel Danesi

$36.75

22%
OFF

Polygraphs

From Rewriting to Higher Categories

Paperback

RRP $173.95

$168.75

Proof Complexity Generators : London Mathematical Society Lecture Note Series - Jan Krajicek

$331.75

17%
OFF

Blockchain and Digital Twin Applications in Smart Agriculture

Hardcover

RRP $420.00

$349.25

17%
OFF

Set Theory : An Introduction to Axiomatic Reasoning - Robert AndrÃ©

$35.25

22%
OFF

Fuzzy Approach to Reasoning and Decision Making

THEORY AND DECISION LIBRARY SERIES D, SYSTEM THEORY, KNOWLEDGE ENGINEERING, AND PROBLEM SOLVING

Hardcover

$173.32

Complexity (Session 1)
Philosophical Issues in Kolmogorov Complexity (Invited Lecture)	p. 1
Circuit Complexity and the Expressive Power of Generalized First-Order Formulas	p. 16
One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier	p. 28
Formal Languages (Session 2)
Abelian Squares Are Avoidable on 4 Letters	p. 41
Polynomial Size Test Sets for Context-Free Languages	p. 53
Quasi-Deterministic OL Systems	p. 65
On Growing Context-Sensitive Languages	p. 77
Finite Automata (Session 3)
Numeration Systems, Linear Recurrences, and Regular Sets	p. 89
The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable	p. 101
Semi-Commutations and Rational Expressions	p. 113
New Results Concerning Synchronized Finite Automata	p. 126
Graph Grammars and Complexity (Session 4)
A Greibach Normal Form for Context-Free Graph Grammars	p. 138
On Reverse and General Definite Tree Languages	p. 150
Reductions to Sets of Low Information Content	p. 162
UP and the Low and High Hierarchies: A Relativized Separation	p. 174
Algorithm Analysis (Session 5)
Analytic Analysis of Algorithms (Invited Lecture)	p. 186
How to Count Quickly and Accurately	p. 211
The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects	p. 223
Algorithms (Session 6)
Polynomial Hash Functions Are Reliable	p. 235
Adaptive Pattern Matching	p. 247
Randomised Interpolation and Approximation of Sparse Polynomials	p. 261
Two Strikes Against Perfect Phylogeny	p. 273
Parallel Computation (Session 7)
Disjunctive Systems and L-Domains	p. 284
Optimal Parallel Algorithms for Periods, Palindromes and Squares	p. 296
Near-Perfect Token Distribution	p. 308
Fast Integer Merging on the EREW PRAM	p. 318
Graph Algorithms (Session 8)
Approximation Algorithms for Graph Augmentation	p. 330
Fast Incremental Planarity Testing	p. 342
Maintenance of Triconnected Components of Graphs	p. 354
Suboptimal Cuts: Their Enumeration, Weight and Number	p. 366
Symbolic Computation (Session 9)
Grobner Bases: An Introduction (Invited Lecture)	p. 378
Buchberger's Algorithm: The Term Rewriter's Point of View	p. 380
Completion of Rewrite Systems with Membership Constraints	p. 392
Geometric Algorithms (Session 10)
A New Metric Between Polygons, and How to Compute it	p. 404
On Nearest-Neighbor Graphs	p. 416
A Tail Estimate for Mulmuley's Segment Intersection Algorithm	p. 427
Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine	p. 439
Logic and Models I (Session 11)
Infinitary Logic for Computer Science (Invited Lecture)	p. 450
Characterization of Temporal Property Classes	p. 474
Lazy Lambda Calculus: Theories, Models and Local Structure Characterization	p. 487
Logic and Models II (Session 12)
Logic Programming Semantics Made Easy	p. 499
On the Complexity of Dataflow Analysis of Logic Programs	p. 509
Comparison of Abstract Interpretations	p. 521
A Proposed Categorical Semantics for Pure ML	p. 533
Time Specification (Session 13)
What Good Are Digital Clocks?	p. 545
Behavioural Abstraction in TCCS	p. 559
Timing Petri Nets Categorically	p. 571
Asynchronous Cellular Automata for Infinite Traces	p. 583
Concurrency Semantics (Session 14)
A Trace Semantics for Petri Nets	p. 595
Asynchronous Communication of Petri Nets and the Refinement of Transitions	p. 605
A Parametric Approach to Localities	p. 617
Proved Trees	p. 629
Program Development (Session 15)
Interfaces Between Languages for Communicating Systems (Invited Lecture)	p. 641
Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (Invited Lecture)	p. 656
Process Equivalences (Session 16)
Program Composition via Unification	p. 672
Barbed Bisimulation	p. 685
Checking Equivalences Between Concurrent Systems of Finite Agents	p. 696
Testing Preorders for Probabilistic Processes	p. 708
Author Index	p. 721
Table of Contents provided by Blackwell. All Rights Reserved.

Automata, Languages and Programming

19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

The Language of Mathematics

The Stories behind the Symbols

Modelling and Control of Dynamic Spatially Distributed Systems

Pharmaceutical Processes

The Univalence Principle

Alcuin's Recreational Mathematics

River Crossings and other Timeless Puzzles

Sum Stories Equations and Their Origins

Equations and Their Origins

Partial Truths

How Fractions Distort Our Thinking

Polygraphs

From Rewriting to Higher Categories

Proof Complexity Generators

London Mathematical Society Lecture Note Series

Introduction to Modern Cryptography

Fourth Edition

Advancements in Cybersecurity

Next-Generation Systems and Applications

Information-Oriented Logic

Implications of Natural-Language Sentences and All Logical Paradoxes Solved

Deep Learning and Blockchain Technology for Smart and Sustainable Cities

Advances in Computational Collective Intelligence

REFLECTIONS

THE MAGIC, MUSIC & MATH OF RAYMOND SMULLYAN

MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE

Weighted Morrey Spaces

Calderon-Zygmund Theory and Boundary Problems

BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC, A

Institution-independent Model Theory

Studies in Universal Logic

Fuzzy Mathematics

A Fundamental Introduction

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Blockchain and Digital Twin Applications in Smart Agriculture

Set Theory

An Introduction to Axiomatic Reasoning

The Times Mind Games

Number And Logic Puzzles

Mathematical Intelligence

What We Have that Machines Don't

Fuzzy Approach to Reasoning and Decision Making

THEORY AND DECISION LIBRARY SERIES D, SYSTEM THEORY, KNOWLEDGE ENGINEERING, AND PROBLEM SOLVING

This product is categorised by