Conference proceedings
© 1985

Automata, Languages and Programming

12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings

Editors:

Wilfried Brauer

Wilfried Brauer

View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 194)

8012 Accesses
451 Citations

Sections

Table of contents
Keywords
Bibliographic Information
Publish with us

Buy it now

Softcover Book USD 69.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (51 papers)

Front Matter

PDF
Vertex packing algorithms
- L. Lovász
Pages 1-14
Linear and branching structures in the semantics and logics of reactive systems
- Amir Pnueli
Pages 15-32
About rational sets of factors of a bi-infinite word
- D. Beauquier, M. Nivat
Pages 33-42
A fair protocol for signing contracts
- Michael Ben-Or, Oded Goldreich, Silvio Micali, Ronald L. Rivest
Pages 43-52
The influence of key length on the area-time complexity of sorting
- G. Bilardi, F. P. Preparata
Pages 53-62
Repeated synchronous snapshots and their implementation in CSP
- Luc Bougé
Pages 63-70
On total regulators generated by derivation relations
- W. Bucher, A. Ehrenfeucht, D. Haussler
Pages 71-79
Optimal solutions for a class of point retrieval problems
- Bernard Chazelle, Herbert Edelsbrunner
Pages 80-89
Fractional cascading: A data structuring technique with geometric applications
- Bernard Chazelle, Leonidas J. Guibas
Pages 90-100
Hierarchies of one-way multihead automata languages
- Marek Chrobak
Pages 101-110
Partitioning point sets in 4 dimensions
- Richard Cole
Pages 111-119
A completeness theorem for recursively defined types
- M. Coppo
Pages 120-129
Categorical combinatory logic
- P -L. Curien
Pages 130-139
Towards a uniform topological treatment of streams and functions on streams
- J. W. de Bakker, J. N. Kok
Pages 140-148
Infinite streams and finite observations in the semantics of uniform concurrency
- J. W. de Bakker, J. -J. Ch. Meyer, E. -R. Olderog
Pages 149-157
Imposed-functional dependencies inducing horizontal decompositions
- P. De Bra
Pages 158-170
Characterization of high level tree transducers
- Joost Engelfriet, Heiko Vogler
Pages 171-178
Ambiguity and transcendence
- Philippe Flajolet
Pages 179-188
A fast algorithm for polygon containment by translation
- S. J. Fortune
Pages 189-198

Keywords

Bibliographic Information

Book Title: Automata, Languages and Programming
Book Subtitle: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
Editors: Wilfried Brauer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0015725
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1985
Softcover ISBN: 978-3-540-15650-5Published: 01 June 1985
eBook ISBN: 978-3-540-39557-7Published: 23 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 524
Topics: Programming Techniques, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity

Publish with us

Policies and ethics

Access via your institution

Buy it now

Softcover Book USD 69.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions