The Resource Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)
Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)
Resource Information
The item Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
-
- "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."--PUBLISHER'S WEBSITE
- "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."--PUBLISHER'S WEBSITE
- Language
- eng
- Extent
- xii, 719 pages
- Note
- Proceedings of ICALP 92, the 19th International Colloquium on Automata, Languages, and Programming, sponsored by the European Association for Theoretical Computer Science
- Contents
-
- Abelian Squares Are Avoidable on 4 Letters
- V. Keranen.
- Polynomial Size Test Sets for Context-Free Languages
- J. Karhumaki, W. Plandowski and W. Rytter.
- Quasi-Deterministic OL Systems
- T.Y. Nishida.
- On Growing Context-Sensitive Languages
- G. Buntrock and K. Lorys
- Finite Automata (Session 3).
- Numeration Systems, Linear Recurrences, and Regular Sets
- Complexity (Session 1).
- J. Shallit.
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable
- D. Krob.
- Semi-Commutations and Rational Expressions
- M. Clerbout, M. Latteux, Y. Roos and W. Zielonka.
- New Results Concerning Synchronized Finite Automata
- O.H. Ibarra and N.Q. Tran
- Graph Grammars and Complexity (Session 4).
- A Greibach Normal Form for Context-Free Graph Grammars
- J. Engelfriet.
- Philosophical Issues in Kolmogorov Complexity (Invited Lecture)
- On Reverse and General Definite Tree Languages
- P. Peladeau and A. Podelski.
- Reductions to Sets of Low Information Content
- V. Arvind, Y. Han, L. Hemachandra, J. Kobler, A. Lozano, M. Mundhenk, M. Ogiwara, U. Schoning, R. Silvestri and T. Thierauf
- M. Li and P.M.B. Vitanyi.
- Circuit Complexity and the Expressive Power of Generalized First-Order Formulas
- H. Straubing.
- One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier
- A. De Santis, G. Persiano and M. Yung
- Formal Languages (Session 2).
- Isbn
- 9783540557197
- Label
- Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
- Title
- Automata, languages, and programming
- Title remainder
- 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
- Statement of responsibility
- W. Kuich (ed.)
- Language
- eng
- Summary
-
- "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."--PUBLISHER'S WEBSITE
- "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."--PUBLISHER'S WEBSITE
- Cataloging source
- DLC
- Illustrations
- illustrations
- Index
- index present
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1992
- http://bibfra.me/vocab/lite/meetingName
- International Colloquium on Automata, Languages, and Programming
- Nature of contents
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1941-
- http://library.link/vocab/relatedWorkOrContributorName
- Kuich, Werner
- Series statement
- Lecture notes in computer science
- Series volume
- 623
- http://library.link/vocab/subjectName
-
- Machine theory
- Formal languages
- Computer programming
- Label
- Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)
- Note
- Proceedings of ICALP 92, the 19th International Colloquium on Automata, Languages, and Programming, sponsored by the European Association for Theoretical Computer Science
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Abelian Squares Are Avoidable on 4 Letters
- V. Keranen.
- Polynomial Size Test Sets for Context-Free Languages
- J. Karhumaki, W. Plandowski and W. Rytter.
- Quasi-Deterministic OL Systems
- T.Y. Nishida.
- On Growing Context-Sensitive Languages
- G. Buntrock and K. Lorys
- Finite Automata (Session 3).
- Numeration Systems, Linear Recurrences, and Regular Sets
- Complexity (Session 1).
- J. Shallit.
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable
- D. Krob.
- Semi-Commutations and Rational Expressions
- M. Clerbout, M. Latteux, Y. Roos and W. Zielonka.
- New Results Concerning Synchronized Finite Automata
- O.H. Ibarra and N.Q. Tran
- Graph Grammars and Complexity (Session 4).
- A Greibach Normal Form for Context-Free Graph Grammars
- J. Engelfriet.
- Philosophical Issues in Kolmogorov Complexity (Invited Lecture)
- On Reverse and General Definite Tree Languages
- P. Peladeau and A. Podelski.
- Reductions to Sets of Low Information Content
- V. Arvind, Y. Han, L. Hemachandra, J. Kobler, A. Lozano, M. Mundhenk, M. Ogiwara, U. Schoning, R. Silvestri and T. Thierauf
- M. Li and P.M.B. Vitanyi.
- Circuit Complexity and the Expressive Power of Generalized First-Order Formulas
- H. Straubing.
- One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier
- A. De Santis, G. Persiano and M. Yung
- Formal Languages (Session 2).
- Control code
- 26095705
- Dimensions
- 25 cm
- Extent
- xii, 719 pages
- Isbn
- 9783540557197
- Isbn Type
- (acid-free paper)
- Lccn
- 92021890
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
- (WaOLN)1453435
- Label
- Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)
- Note
- Proceedings of ICALP 92, the 19th International Colloquium on Automata, Languages, and Programming, sponsored by the European Association for Theoretical Computer Science
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Abelian Squares Are Avoidable on 4 Letters
- V. Keranen.
- Polynomial Size Test Sets for Context-Free Languages
- J. Karhumaki, W. Plandowski and W. Rytter.
- Quasi-Deterministic OL Systems
- T.Y. Nishida.
- On Growing Context-Sensitive Languages
- G. Buntrock and K. Lorys
- Finite Automata (Session 3).
- Numeration Systems, Linear Recurrences, and Regular Sets
- Complexity (Session 1).
- J. Shallit.
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable
- D. Krob.
- Semi-Commutations and Rational Expressions
- M. Clerbout, M. Latteux, Y. Roos and W. Zielonka.
- New Results Concerning Synchronized Finite Automata
- O.H. Ibarra and N.Q. Tran
- Graph Grammars and Complexity (Session 4).
- A Greibach Normal Form for Context-Free Graph Grammars
- J. Engelfriet.
- Philosophical Issues in Kolmogorov Complexity (Invited Lecture)
- On Reverse and General Definite Tree Languages
- P. Peladeau and A. Podelski.
- Reductions to Sets of Low Information Content
- V. Arvind, Y. Han, L. Hemachandra, J. Kobler, A. Lozano, M. Mundhenk, M. Ogiwara, U. Schoning, R. Silvestri and T. Thierauf
- M. Li and P.M.B. Vitanyi.
- Circuit Complexity and the Expressive Power of Generalized First-Order Formulas
- H. Straubing.
- One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier
- A. De Santis, G. Persiano and M. Yung
- Formal Languages (Session 2).
- Control code
- 26095705
- Dimensions
- 25 cm
- Extent
- xii, 719 pages
- Isbn
- 9783540557197
- Isbn Type
- (acid-free paper)
- Lccn
- 92021890
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
- (WaOLN)1453435
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automata-languages-and-programming--19th/AmFgppwxMjA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automata-languages-and-programming--19th/AmFgppwxMjA/">Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automata-languages-and-programming--19th/AmFgppwxMjA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automata-languages-and-programming--19th/AmFgppwxMjA/">Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings, W. Kuich (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>