Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540167617, 9783540398592

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On fixed-point clones

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_96 ◽

1986 ◽

pp. 464-473 ◽

Cited By ~ 45

Author(s):

Damian Niwiński

Keyword(s):

Fixed Point

Download Full-text

On the complexity of deciding fair termination of probabilistic concurrent finite-state programs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_83 ◽

1986 ◽

pp. 334-343 ◽

Cited By ~ 2

Author(s):

Louis E. Rosier ◽

Hsu-Chun Yen

Keyword(s):

Finite State ◽

State Programs

Download Full-text

A uniform reduction theorem extending a result of J. Grollmann and A. Selman

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_82 ◽

1986 ◽

pp. 324-333 ◽

Cited By ~ 2

Author(s):

Kenneth W. Regan

Keyword(s):

Reduction Theorem ◽

Uniform Reduction

Download Full-text

Etude syntaxique des parties reconnaissables de mots infinis

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_79 ◽

1986 ◽

pp. 294-303 ◽

Cited By ~ 11

Author(s):

Jean-Pierre Pecuchet

Download Full-text

Alternating automata, the weak monadic theory of the tree, and its complexity

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_77 ◽

1986 ◽

pp. 275-283 ◽

Cited By ~ 45

Author(s):

David E. Muller ◽

Ahmed Saoudi ◽

Paul E. Schupp

Keyword(s):

Monadic Theory ◽

Alternating Automata

Download Full-text

Synthesis and equivalence of concurrent systems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_72 ◽

1986 ◽

pp. 226-235

Author(s):

Björn Lisper

Keyword(s):

Concurrent Systems

Download Full-text

A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_69 ◽

1986 ◽

pp. 196-205 ◽

Cited By ~ 1

Author(s):

Ten-Hwang Lai

Keyword(s):

Distributed Systems ◽

First In First Out

Download Full-text

Intersections of some families of languages

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_55 ◽

1986 ◽

pp. 60-68 ◽

Cited By ~ 2

Author(s):

Franz J. Brandenburg

Download Full-text

Some further results on digital search trees

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_67 ◽

1986 ◽

pp. 177-185 ◽

Cited By ~ 13

Author(s):

Peter Kirschenhofer ◽

Helmut Prodinger

Keyword(s):

Search Trees ◽

Digital Search Trees ◽

Digital Search

Download Full-text

Rational equivalence relations

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_66 ◽

1986 ◽

pp. 167-176 ◽

Cited By ~ 3

Author(s):

J. Howard Johnson

Keyword(s):

Equivalence Relations ◽

Rational Equivalence

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On fixed-point clones

On the complexity of deciding fair termination of probabilistic concurrent finite-state programs

A uniform reduction theorem extending a result of J. Grollmann and A. Selman

Etude syntaxique des parties reconnaissables de mots infinis

Alternating automata, the weak monadic theory of the tree, and its complexity

Synthesis and equivalence of concurrent systems

A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication

Intersections of some families of languages

Some further results on digital search trees

Rational equivalence relations

Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications