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

9783540631651, 9783540691945

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Star-free picture expressions are strictly weaker than first-order logic

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

10.1007/3-540-63165-8_191 ◽

1997 ◽

pp. 347-357 ◽

Cited By ~ 10

Author(s):

Thomas Wilke

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Maintaining minimum spanning trees in dynamic graphs

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

10.1007/3-540-63165-8_214 ◽

1997 ◽

pp. 594-604 ◽

Cited By ~ 23

Author(s):

Monika R. Henzinger ◽

Valerie King

Keyword(s):

Spanning Trees ◽

Minimum Spanning Trees ◽

Dynamic Graphs

Download Full-text

Model checking the full modal mu-calculus for infinite sequential processes

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

10.1007/3-540-63165-8_198 ◽

1997 ◽

pp. 419-429 ◽

Cited By ~ 26

Author(s):

Olaf Burkart ◽

Bernhard Steffen

Keyword(s):

Model Checking ◽

Sequential Processes

Download Full-text

A proof theoretical approach to communication

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

10.1007/3-540-63165-8_189 ◽

1997 ◽

pp. 325-335 ◽

Cited By ~ 23

Author(s):

Yuxi Fu

Keyword(s):

Theoretical Approach

Download Full-text

Efficient array partitioning

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

10.1007/3-540-63165-8_216 ◽

1997 ◽

pp. 616-626 ◽

Cited By ~ 19

Author(s):

Sanjeev Khanna ◽

S. Muthukrishnan ◽

Steven Skiena

Download Full-text

The expressibility of languages and relations by word equations

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

10.1007/3-540-63165-8_168 ◽

1997 ◽

pp. 98-109 ◽

Cited By ~ 7

Author(s):

Juhani Karhumäki ◽

Wojciech Plandowski ◽

Filippo Mignosi

Keyword(s):

Word Equations

Download Full-text

Constructing big trees from short sequences

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

10.1007/3-540-63165-8_235 ◽

1997 ◽

pp. 827-837 ◽

Cited By ~ 18

Author(s):

Péter L. Erdös ◽

Michael A. Steel ◽

László A. Székely ◽

Tandy J. Warnow

Download Full-text

A primal-dual approach to approximation of node-deletion problems for matroidal properties

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

10.1007/3-540-63165-8_228 ◽

1997 ◽

pp. 749-759 ◽

Cited By ~ 2

Author(s):

Toshihiro Fujito

Keyword(s):

Dual Approach ◽

Primal Dual

Download Full-text

Monadic simultaneous rigid E-unification and related problems

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

10.1007/3-540-63165-8_173 ◽

1997 ◽

pp. 154-165 ◽

Cited By ~ 8

Author(s):

Yuri Gurevich ◽

Andrei Voronkov

Download Full-text

An abstract data type for real numbers

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

10.1007/3-540-63165-8_170 ◽

1997 ◽

pp. 121-131

Author(s):

Pietro Gianantonio

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Real Numbers ◽

Abstract Data

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Star-free picture expressions are strictly weaker than first-order logic

Maintaining minimum spanning trees in dynamic graphs

Model checking the full modal mu-calculus for infinite sequential processes

A proof theoretical approach to communication

Efficient array partitioning

The expressibility of languages and relations by word equations

Constructing big trees from short sequences

A primal-dual approach to approximation of node-deletion problems for matroidal properties

Monadic simultaneous rigid E-unification and related problems

An abstract data type for real numbers

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