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

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540557197, 9783540472780
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program composition via unification

1992 ◽  
pp. 672-684 ◽  
Author(s):  
Limor Fix ◽  
Nissim Francez ◽  
Orna Grumberg
Keyword(s):  
Program Composition

Disjunctive systems and L-Domains

1992 ◽  
pp. 284-295 ◽  
Author(s):  
Guo-Qiang Zhang

Adaptive pattern matching

1992 ◽  
pp. 247-260 ◽  
Author(s):  
R. C. Sekar ◽  
R. Ramesh ◽  
I. V. Ramakrishnan
Keyword(s):  
Pattern Matching ◽  
Adaptive Pattern

Approximation algorithms for graph augmentation

1992 ◽  
pp. 330-341 ◽  
Author(s):  
Samir Khuller ◽  
Ramakrishna Thurimella
Keyword(s):  
Approximation Algorithms ◽  
Graph Augmentation

New results concerning synchronized finite automata

1992 ◽  
pp. 126-137
Author(s):  
Oscar H. Ibarra ◽  
Nicholas Q. Trân
Keyword(s):  
Finite Automata

A parametric approach to localities

1992 ◽  
pp. 617-628 ◽  
Author(s):  
Ugo Montanari ◽  
Daniel Yankelevich
Keyword(s):  
Parametric Approach

Timing Petri Nets categorically

1992 ◽  
pp. 571-582 ◽  
Author(s):  
Carolyn Brown ◽  
Doug Gurr
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document