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

9783540677154, 9783540450221

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An ω-Complete Equational Specification of Interleaving

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

10.1007/3-540-45022-x_61 ◽

2000 ◽

pp. 729-743 ◽

Cited By ~ 13

Author(s):

W. J. Fokkink ◽

S. P. Luttik

Download Full-text

A New Unfolding Approach to LTL Model Checking

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

10.1007/3-540-45022-x_40 ◽

2000 ◽

pp. 475-486 ◽

Cited By ~ 16

Author(s):

Javier Esparza ◽

Keijo Heljanko

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Computing the Girth of a Planar Graph

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

10.1007/3-540-45022-x_69 ◽

2000 ◽

pp. 821-831 ◽

Cited By ~ 3

Author(s):

Hristo N. Djidjev

Keyword(s):

Planar Graph

Download Full-text

Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms?

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

10.1007/3-540-45022-x_20 ◽

2000 ◽

pp. 235-235

Author(s):

J. Håstad

Keyword(s):

Approximation Algorithms ◽

Optimization Problems ◽

Np Hard ◽

Efficient Approximation

Download Full-text

Decidable First-Order Transition Logics for PA-Processes

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

10.1007/3-540-45022-x_30 ◽

2000 ◽

pp. 342-353 ◽

Cited By ~ 2

Author(s):

Denis Lugiez ◽

Philippe Schnoebelen

Keyword(s):

Order Transition ◽

First Order ◽

First Order Transition

Download Full-text

On the Centralizer of a Finite Set

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

10.1007/3-540-45022-x_45 ◽

2000 ◽

pp. 536-546 ◽

Cited By ~ 11

Author(s):

Juhani Karhumäki ◽

Ion Petre

Keyword(s):

Finite Set

Download Full-text

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models

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

10.1007/3-540-45022-x_14 ◽

2000 ◽

pp. 163-174 ◽

Cited By ~ 2

Author(s):

Gerald Lüttgen ◽

Michael Mendler

Keyword(s):

Kripke Models

Download Full-text

Constraint Satisfaction Problems and Finite Algebras

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

10.1007/3-540-45022-x_24 ◽

2000 ◽

pp. 272-282 ◽

Cited By ~ 45

Author(s):

Andrei A. Bulatov ◽

Andrei A. Krokhin ◽

Peter Jeavons

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Finite Algebras

Download Full-text

Negation Elimination from Simple Equational Formulae

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

10.1007/3-540-45022-x_52 ◽

2000 ◽

pp. 612-623 ◽

Cited By ~ 1

Author(s):

Reinhard Pichler

Download Full-text

Constraint Programming and Graph Algorithms

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

10.1007/3-540-45022-x_48 ◽

2000 ◽

pp. 571-575

Author(s):

Kurt Mehlhorn

Keyword(s):

Constraint Programming ◽

Graph Algorithms

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An ω-Complete Equational Specification of Interleaving

A New Unfolding Approach to LTL Model Checking

Computing the Girth of a Planar Graph

Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms?

Decidable First-Order Transition Logics for PA-Processes

On the Centralizer of a Finite Set

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models

Constraint Satisfaction Problems and Finite Algebras

Negation Elimination from Simple Equational Formulae

Constraint Programming and Graph Algorithms

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