Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007358815/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract ""This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contain 52 refereed papers selected from 172 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on: Process Theory; Fairness, Domination, and the u-Calculus; Logic and Algebra; Languages and Processes; Algebraic Complexity; Graph Algorithms; Automata; Complexity Theory; Combinatorics on Words; Algorithms; Lower Bounds; Data Structures ..."--PUBLISHER'S WEBSITE.".
- catalog alternative "ICALP '96".
- catalog contributor b10158284.
- catalog contributor b10158285.
- catalog contributor b10158286.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description ""This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contain 52 refereed papers selected from 172 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on: Process Theory; Fairness, Domination, and the u-Calculus; Logic and Algebra; Languages and Processes; Algebraic Complexity; Graph Algorithms; Automata; Complexity Theory; Combinatorics on Words; Algorithms; Lower Bounds; Data Structures ..."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and author index.".
- catalog description "Saturation-Based Theorem Proving / H. Ganzinger -- Bandwidth Efficient Parallel Computation / A. Ranade -- Variable-Length Maximal Codes / V. Bruyere and M. Latteux -- Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic / A.A. Razborov -- Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures / X.J. Chen and R. De Nicola -- Fast Asynchronous Systems in Dense Time / L. Jenner and W. Vogler -- A Hierarchy Theorem for the [mu]-Calculus / G. Lenzi -- An Effective Tableau System for the Linear Time [mu]-Calculus / J. Bradfield, J. Esparza and A. Mader -- Characterizing Fairness Implementability for Multiparty Interaction / Y.-J. Joung -- Termination of Context-Sensitive Rewriting by Rewriting / S. Lucas -- A Complete Gentzen-style Axiomatization for Set Constraints / A. Cheng and D. Kozen -- Fatal Errors in Conditional Expressions / M. Billaud -- Different Types of Arrow Between Logical Frameworks / T. Mossakowski.".
- catalog extent "xii, 680 p. :".
- catalog identifier "3540614400 (Springer-Verlag Berlin Heidelberg New York)".
- catalog isPartOf "Lecture notes in computer science ; 1099".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "Computer programming Congresses.".
- catalog subject "Formal languages Congresses.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .I23 1996".
- catalog tableOfContents "Saturation-Based Theorem Proving / H. Ganzinger -- Bandwidth Efficient Parallel Computation / A. Ranade -- Variable-Length Maximal Codes / V. Bruyere and M. Latteux -- Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic / A.A. Razborov -- Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures / X.J. Chen and R. De Nicola -- Fast Asynchronous Systems in Dense Time / L. Jenner and W. Vogler -- A Hierarchy Theorem for the [mu]-Calculus / G. Lenzi -- An Effective Tableau System for the Linear Time [mu]-Calculus / J. Bradfield, J. Esparza and A. Mader -- Characterizing Fairness Implementability for Multiparty Interaction / Y.-J. Joung -- Termination of Context-Sensitive Rewriting by Rewriting / S. Lucas -- A Complete Gentzen-style Axiomatization for Set Constraints / A. Cheng and D. Kozen -- Fatal Errors in Conditional Expressions / M. Billaud -- Different Types of Arrow Between Logical Frameworks / T. Mossakowski.".
- catalog title "Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (eds.).".
- catalog title "ICALP '96".
- catalog type "Conference proceedings. fast".
- catalog type "Paderborn (1996) swd".
- catalog type "text".