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

TOTAL DOCUMENTS

56

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540569398, 9783540478263

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On regular compatibility of semi-commutations

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

10.1007/3-540-56939-1_93 ◽

1993 ◽

pp. 445-456 ◽

Author(s):

Edward Ochmański ◽

Pierre-André Wacrenier

Download Full-text

Strongly adaptive token distribution

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

10.1007/3-540-56939-1_89 ◽

1993 ◽

pp. 398-409 ◽

Author(s):

Friedhelm Meyer auf der Heide ◽

Brigitte Oesterdiekhoff ◽

Rolf Wanka

Download Full-text

Finite automata as characterizations of minor closed tree families (extended abstract)

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

10.1007/3-540-56939-1_86 ◽

1993 ◽

pp. 359-370

Author(s):

Arvind Gupta

Keyword(s):

Finite Automata

Download Full-text

Algebras for classifying regular tree languages and an application to frontier testability

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

10.1007/3-540-56939-1_85 ◽

1993 ◽

pp. 347-358 ◽

Author(s):

Thomas Wilke

Keyword(s):

Regular Tree ◽

Download Full-text

Cobham's Theorem seen through Büchi's Theorem

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

10.1007/3-540-56939-1_83 ◽

1993 ◽

pp. 325-334 ◽

Author(s):

Christian Michaux ◽

Roger Villemaire

Download Full-text

Learnability: Admissible, co-finite, and hypersimple languages

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

10.1007/3-540-56939-1_80 ◽

1993 ◽

pp. 289-300

Author(s):

Ganesh Baliga ◽

John Case

Download Full-text

Timed testing of concurrent systems

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

10.1007/3-540-56939-1_100 ◽

1993 ◽

pp. 532-543 ◽

Author(s):

Walter Vogler

Keyword(s):

Concurrent Systems

Download Full-text

Fault-tolerance and complexity (Extended abstract)

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

10.1007/3-540-56939-1_72 ◽

1993 ◽

pp. 189-202 ◽

Author(s):

Lane A. Hemachandra

Keyword(s):

Fault Tolerance

Download Full-text

A partial solution for D-unification based on a reduction to AC 1-unification

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

10.1007/3-540-56939-1_107 ◽

1993 ◽

pp. 621-632 ◽

Author(s):

Evelyne Contejean

Keyword(s):

Partial Solution

Download Full-text

Dynamic interpolation search in o(log log n) time

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

10.1007/3-540-56939-1_58 ◽

1993 ◽

pp. 15-27 ◽

Author(s):

Arne Andersson ◽

Christer Mattsson

Keyword(s):

Interpolation Search

Download Full-text