Del i serien Lecture Notes in Computer Science

Automata, Languages and Programming

22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Häftad, Engelska, 1995

1 439 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding, and semantics.

Produktinformation

Utgivningsdatum1995-06-28
Mått155 x 235 x 38 mm
Vikt1 054 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor692
Upplaga1995
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540600848

Tillhör följande kategorier

Theory of 2-structures.- A domain for concurrent termination a generalization of Mazurkiewicz traces.- Nonfinite axiomatizability of the equational theory of shuffle.- The algebraic equivalent of AFL theory.- Finite state transformations of images.- Post correspondence problem: Words possible as primitive solutions.- Computing the closure of sets of words under partial commutations.- Intervalizing k-colored graphs.- NC algorithms for finding a maximal set of paths with application to compressing strings.- On the construction of classes of suffix trees for square matrices: Algorithms and applications.- How to use the minimal separators of a graph for its chordal triangulation.- Fast gossiping by short messages.- Break Finite Automata Public Key Cryptosystem.- Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time.- On the number of random bits in totally private computation.- Lower time bounds for randomized computation.- New collapse consequences of NP having small circuits.- The complexity of searching succinctly represented graphs.- Optimal shooting: Characterizations and applications.- Placing resources in a tree: Dynamic and static algorithms.- Shortest path queries in digraphs of small treewidth.- A dynamic programming algorithm for constructing optimal prefix-free codes for unequal letter costs.- Parallel algorithms with optimal speedup for bounded treewidth.- Approximating minimum cuts under insertions.- Linear time algorithms for dominating pairs in asteroidal triple-free graphs.- On-line resource management with applications to routing and scheduling.- Alternation in simple devices.- Hybrid automata with finite bisimulations.- Generalized Sturmian languages.- Polynomial closure and unambiguous product.- Lower bounds on algebraic random access machines.- Improved deterministic PRAM simulation on the mesh.- On optimal polynomial time approximations: P-levelability vs. ?-levelability.- Weakly useful sequences.- Graph Connectivity, Monadic NP and built-in relations of moderate degree.- The expressive power of clocks.- Grammar systems: A grammatical approach to distribution and cooperation.- Compactness of systems of equations in semigroups.- Sensing versus nonsensing automata.- New upper bounds for generalized intersection searching problems.- OKFDDs versus OBDDs and OFDDs.- Bicriteria network design problems.- On determining optimal strategies in pursuit games in the plane.- Extension orderings.- The pushdown method to optimize chain logic programs.- Automatic synthesis of real time systems.- Self-correcting for function fields of finite transcendental degree.- Measure, category and learning theory.- A characterization of the existence of energies for neural networks.- Variable-length codes for error correction.- Graphbots: Mobility in discrete spaces.- Solving recursive net equations.- Implicit definability and infinitary logic in finite model theory.- The limit of splitn-language equivalence.- Divergence and fair testing.- Causality for mobile processes.- Internal mobility and agent-passing calculi.

Du kanske också är intresserad av

Syntax-Directed Semantics

Zoltan Fülöp, Heiko Vogler

Häftad, 2011

1 439 kr

Fundamentals of Computation Theory

Janos Csirik, Ferenc Gecseg, Janos Demetrovics

Häftad, 1989

749 kr

Products of Automata

Ferenc Gecseg

Häftad, 2011

749 kr

Del 70

Products of Automata

Ferenc Gécseg

Inbunden, 1986

2 669 kr

Developments in Language Theory

Zoltán Ésik, Zoltán Fülöp

Häftad, 2003

719 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Del i serien Lecture Notes in Computer Science

Automata, Languages and Programming

22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Häftad, Engelska, 1995

AvZoltan Fülöp,Ferenc Gecseg

1 439 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1995-06-28
Mått155 x 235 x 38 mm
Vikt1 054 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor692
Upplaga1995
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540600848

Tillhör följande kategorier

Theory of 2-structures.- A domain for concurrent termination a generalization of Mazurkiewicz traces.- Nonfinite axiomatizability of the equational theory of shuffle.- The algebraic equivalent of AFL theory.- Finite state transformations of images.- Post correspondence problem: Words possible as primitive solutions.- Computing the closure of sets of words under partial commutations.- Intervalizing k-colored graphs.- NC algorithms for finding a maximal set of paths with application to compressing strings.- On the construction of classes of suffix trees for square matrices: Algorithms and applications.- How to use the minimal separators of a graph for its chordal triangulation.- Fast gossiping by short messages.- Break Finite Automata Public Key Cryptosystem.- Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time.- On the number of random bits in totally private computation.- Lower time bounds for randomized computation.- New collapse consequences of NP having small circuits.- The complexity of searching succinctly represented graphs.- Optimal shooting: Characterizations and applications.- Placing resources in a tree: Dynamic and static algorithms.- Shortest path queries in digraphs of small treewidth.- A dynamic programming algorithm for constructing optimal prefix-free codes for unequal letter costs.- Parallel algorithms with optimal speedup for bounded treewidth.- Approximating minimum cuts under insertions.- Linear time algorithms for dominating pairs in asteroidal triple-free graphs.- On-line resource management with applications to routing and scheduling.- Alternation in simple devices.- Hybrid automata with finite bisimulations.- Generalized Sturmian languages.- Polynomial closure and unambiguous product.- Lower bounds on algebraic random access machines.- Improved deterministic PRAM simulation on the mesh.- On optimal polynomial time approximations: P-levelability vs. ?-levelability.- Weakly useful sequences.- Graph Connectivity, Monadic NP and built-in relations of moderate degree.- The expressive power of clocks.- Grammar systems: A grammatical approach to distribution and cooperation.- Compactness of systems of equations in semigroups.- Sensing versus nonsensing automata.- New upper bounds for generalized intersection searching problems.- OKFDDs versus OBDDs and OFDDs.- Bicriteria network design problems.- On determining optimal strategies in pursuit games in the plane.- Extension orderings.- The pushdown method to optimize chain logic programs.- Automatic synthesis of real time systems.- Self-correcting for function fields of finite transcendental degree.- Measure, category and learning theory.- A characterization of the existence of energies for neural networks.- Variable-length codes for error correction.- Graphbots: Mobility in discrete spaces.- Solving recursive net equations.- Implicit definability and infinitary logic in finite model theory.- The limit of splitn-language equivalence.- Divergence and fair testing.- Causality for mobile processes.- Internal mobility and agent-passing calculi.

Du kanske också är intresserad av

Syntax-Directed Semantics

Zoltan Fülöp, Heiko Vogler

Häftad, 2011

1 439 kr

Fundamentals of Computation Theory

Janos Csirik, Ferenc Gecseg, Janos Demetrovics

Häftad, 1989

749 kr

Products of Automata

Ferenc Gecseg

Häftad, 2011

749 kr

Del 70

Products of Automata

Ferenc Gécseg

Inbunden, 1986

2 669 kr

Developments in Language Theory

Zoltán Ésik, Zoltán Fülöp

Häftad, 2003

719 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Automata, Languages and Programming

22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Automata, Languages and Programming

22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Automata, Languages and Programming

22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av