Volume 354,
Number 1,
21 March 2006
Algebraic Methods in Language Processing
- Anton Nijholt, Giuseppe Scollo, Uwe Mönnich:
Editorial.
1-3
Electronic Edition (link) BibTeX
- Chantal Berline, Antonino Salibra:
Easiness in graph models.
4-23
Electronic Edition (link) BibTeX
- Dana Harrington:
Uniqueness logic.
24-41
Electronic Edition (link) BibTeX
- Markus Roggenbach:
CSP-CASL - A new integration of process algebra and algebraic specification.
42-71
Electronic Edition (link) BibTeX
- Gerald Penn:
Efficient transitive closure of sparse matrices over closed semirings.
72-81
Electronic Edition (link) BibTeX
- Stephan Kepser, Uwe Mönnich:
Closure properties of linear context-free tree languages with an application to optimality theory.
82-97
Electronic Edition (link) BibTeX
- Helmar Gust, Kai-Uwe Kühnberger, Ute Schmid:
Metaphors and heuristic-driven theory projection (HDTP).
98-117
Electronic Edition (link) BibTeX
- Peter R. J. Asveld:
Generating all permutations by context-free grammars in Chomsky normal form.
118-130
Electronic Edition (link) BibTeX
- Marcus Kracht:
Partial algebras, meaning categories and algebraization.
131-141
Electronic Edition (link) BibTeX
- Radu Gramatovici, Carlos Martín-Vide:
Sorted dependency insertion grammars.
142-152
Electronic Edition (link) BibTeX
- Rohit N. Kundaji, R. K. Shyamasundar:
Refinement calculus: A basis for translation validation, debugging and certification.
153-168
Electronic Edition (link) BibTeX
Volume 354,
Number 2,
28 March 2006
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)
- Hubert Garavel, John Hatcliff:
TACAS 2003 Special Issue - Preface.
169-172
Electronic Edition (link) BibTeX
- Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the universal and existential fragments of the mu-calculus.
173-186
Electronic Edition (link) BibTeX
- Sylvain Conchon, Sava Krstic:
Strategies for combining decision procedures.
187-210
Electronic Edition (link) BibTeX
- Samik Basu, C. R. Ramakrishnan:
Compositional analysis for verification of parameterized systems.
211-229
Electronic Edition (link) BibTeX
- Rajeev Alur, Salvatore La Torre, P. Madhusudan:
Modular strategies for recursive game graphs.
230-249
Electronic Edition (link) BibTeX
- Rajeev Alur, Thao Dang, Franjo Ivancic:
Counterexample-guided predicate abstraction of hybrid systems.
250-271
Electronic Edition (link) BibTeX
- Yasmina Abdeddaïm, Eugene Asarin, Oded Maler:
Scheduling with timed automata.
272-300
Electronic Edition (link) BibTeX
- Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
Schedulability analysis of fixed-priority systems using timed automata.
301-317
Electronic Edition (link) BibTeX
Volume 354,
Number 3,
4 April 2006
Foundations of Computation Theory (FCT 2003)
- Andrzej Lingas, Leszek Gasieniec:
Preface.
319
Electronic Edition (link) BibTeX
- Miroslav Chlebík, Janka Chlebíková:
Complexity of approximating bounded variants of optimization problems.
320-338
Electronic Edition (link) BibTeX
- Takao Asano:
An improved analysis of Goemans and Williamson's LP-relaxation for MAX SAT.
339-353
Electronic Edition (link) BibTeX
- Grzegorz Stachowiak:
Fast periodic correction networks.
354-366
Electronic Edition (link) BibTeX
- Mikael Hammar, Bengt J. Nilsson, Mia Persson:
Competitive exploration of rectilinear polygons.
367-378
Electronic Edition (link) BibTeX
- John H. Reif, Zheng Sun:
On boundaries of highly visible spaces and applications.
379-390
Electronic Edition (link) BibTeX
- Luis Antunes, Lance Fortnow, Dieter van Melkebeek, N. V. Vinodchandran:
Computational depth: Concept and applications.
391-404
Electronic Edition (link) BibTeX
- Jean Berstel, Luc Boasson, Olivier Carton, Bruno Petazzoni, Jean-Eric Pin:
Operations preserving regular languages.
405-420
Electronic Edition (link) BibTeX
- Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind:
Compositionality of Hennessy-Milner logic by structural operational semantics.
421-440
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:06 2009
by Michael Ley (ley@uni-trier.de)
