Volume 285,
Number 1,
August 2002
Algorithms and Complexity
- Gian Carlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi:
Foreword.
1
Electronic Edition (link) BibTeX
- Hans-Joachim Böckenhauer, Juraj Hromkovic, Ralf Klasing, Sebastian Seibert, Walter Unger:
Towards the notion of stability of approximation for hard optimization tasks and the traveling salesman problem.
3-24
Electronic Edition (link) BibTeX
- Domenico Cantone, Gianluca Cincotti:
QuickHeapsort, an efficient mix of classical sorting algorithms.
25-42
Electronic Edition (link) BibTeX
- Peter Damaschke:
Online strategies for backups.
43-53
Electronic Edition (link) BibTeX
- Irit Dinur:
Approximating SVPinfinity to within almost-polynomial factors is NP-hard.
55-71
Electronic Edition (link) BibTeX
- Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri:
Modified binary searching for static tables.
73-88
Electronic Edition (link) BibTeX
- Sebastian Seibert, Walter Unger:
The hardness of placing street names in a Manhattan type map.
89-99
Electronic Edition (link) BibTeX
- Kathleen Steinhöfel, Andreas Alexander Albrecht, C. K. Wong:
The convergence of stochastic algorithms solving flow shop scheduling.
101-117
Electronic Edition (link) BibTeX
Volume 285,
Number 2,
August 2002
Rewriting Logic and its Applications
- Narciso Martí-Oliet, José Meseguer:
Preface.
119-120
Electronic Edition (link) BibTeX
- Narciso Martí-Oliet, José Meseguer:
Rewriting logic: roadmap and bibliography.
121-154
Electronic Edition (link) BibTeX
- Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau:
ELAN from a rewriting logic point of view.
155-185
Electronic Edition (link) BibTeX
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Maude: specification and programming in rewriting logic.
187-243
Electronic Edition (link) BibTeX
- Manuel Clavel, José Meseguer:
Reflection in conditional rewriting logic.
245-288
Electronic Edition (link) BibTeX
- Razvan Diaconescu, Kokichi Futatsugi:
Logical foundations of CafeOBJ.
289-318
Electronic Edition (link) BibTeX
- Fabio Gadducci, Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic.
319-358
Electronic Edition (link) BibTeX
- Peter Csaba Ölveczky, José Meseguer:
Specification of real-time and hybrid systems in rewriting logic.
359-405
Electronic Edition (link) BibTeX
- Isabel Pita, Narciso Martí-Oliet:
A Maude specification of an object-oriented model for telecommunication networks.
407-439
Electronic Edition (link) BibTeX
- Carolyn L. Talcott:
Actor theories in rewriting logic.
441-485
Electronic Edition (link) BibTeX
- Patrick Viry:
Equational rules for rewriting logic.
487-517
Electronic Edition (link) BibTeX
- Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering.
519-560
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:46 2009
by Michael Ley (ley@uni-trier.de)