The Resource Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 1317, 1992 : proceedings, W. Kuich (ed.)
Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 1317, 1992 : proceedings, W. Kuich (ed.)
Resource Information
The item Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 1317, 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 1317, 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 ContextFree Languages
 J. Karhumaki, W. Plandowski and W. Rytter.
 QuasiDeterministic OL Systems
 T.Y. Nishida.
 On Growing ContextSensitive 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.
 SemiCommutations 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 ContextFree 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 FirstOrder Formulas
 H. Straubing.
 OneMessage Statistical ZeroKnowledge Proofs and SpaceBounded Verifier
 A. De Santis, G. Persiano and M. Yung
 Formal Languages (Session 2).
 Isbn
 9780387557199
 Label
 Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 1317, 1992 : proceedings
 Title
 Automata, languages, and programming
 Title remainder
 19th international colloquium, Wien, Austria, July 1317, 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 1317, 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 ContextFree Languages
 J. Karhumaki, W. Plandowski and W. Rytter.
 QuasiDeterministic OL Systems
 T.Y. Nishida.
 On Growing ContextSensitive 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.
 SemiCommutations 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 ContextFree 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 FirstOrder Formulas
 H. Straubing.
 OneMessage Statistical ZeroKnowledge Proofs and SpaceBounded Verifier
 A. De Santis, G. Persiano and M. Yung
 Formal Languages (Session 2).
 Control code
 26095705
 Dimensions
 25 cm
 Extent
 xii, 719 pages
 Isbn
 9780387557199
 Isbn Type
 (U.S. : acidfree 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 1317, 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 ContextFree Languages
 J. Karhumaki, W. Plandowski and W. Rytter.
 QuasiDeterministic OL Systems
 T.Y. Nishida.
 On Growing ContextSensitive 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.
 SemiCommutations 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 ContextFree 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 FirstOrder Formulas
 H. Straubing.
 OneMessage Statistical ZeroKnowledge Proofs and SpaceBounded Verifier
 A. De Santis, G. Persiano and M. Yung
 Formal Languages (Session 2).
 Control code
 26095705
 Dimensions
 25 cm
 Extent
 xii, 719 pages
 Isbn
 9780387557199
 Isbn Type
 (U.S. : acidfree 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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automatalanguagesandprogramming19th/Zg0LhSvIDUE/" 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/Automatalanguagesandprogramming19th/Zg0LhSvIDUE/">Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 1317, 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 1317, 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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automatalanguagesandprogramming19th/Zg0LhSvIDUE/" 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/Automatalanguagesandprogramming19th/Zg0LhSvIDUE/">Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 1317, 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>