default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 285
Volume 285, Number 1, August 2002
- Gian Carlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi:
Foreword. 1 - 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 - Domenico Cantone, Gianluca Cincotti:
QuickHeapsort, an efficient mix of classical sorting algorithms. 25-42 - Peter Damaschke:
Online strategies for backups. 43-53 - Irit Dinur:
Approximating SVPinfinity to within almost-polynomial factors is NP-hard. 55-71 - Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri:
Modified binary searching for static tables. 73-88 - Sebastian Seibert, Walter Unger:
The hardness of placing street names in a Manhattan type map. 89-99 - Kathleen Steinhöfel, Andreas Alexander Albrecht, C. K. Wong:
The convergence of stochastic algorithms solving flow shop scheduling. 101-117
Volume 285, Number 2, August 2002
- Narciso Martí-Oliet, José Meseguer:
Preface. 119-120 - Narciso Martí-Oliet, José Meseguer:
Rewriting logic: roadmap and bibliography. 121-154 - Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau:
ELAN from a rewriting logic point of view. 155-185 - 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 - Manuel Clavel, José Meseguer:
Reflection in conditional rewriting logic. 245-288 - Razvan Diaconescu, Kokichi Futatsugi:
Logical foundations of CafeOBJ. 289-318 - Fabio Gadducci, Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. 319-358 - Peter Csaba Ölveczky, José Meseguer:
Specification of real-time and hybrid systems in rewriting logic. 359-405 - Isabel Pita, Narciso Martí-Oliet:
A Maude specification of an object-oriented model for telecommunication networks. 407-439 - Carolyn L. Talcott:
Actor theories in rewriting logic. 441-485 - Patrick Viry:
Equational rules for rewriting logic. 487-517 - Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. 519-560
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-05 21:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
