Electronic Notes in Theoretical Computer Science, Volume 86

Volume 86, Number 1, 2003

• Ingo Dahn, Laurent Vigneron:
  Preface.
  Electronic Edition (link) BibTeX
• Dieter Hutter:
  Deduction as an Engineering Science.
  Electronic Edition (link) BibTeX
• Thomas Hillenbrand:
  Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER.
  Electronic Edition (link) BibTeX
• Silvio Ghilardi:
  Quantifier Elimination and Provers Integration.
  Electronic Edition (link) BibTeX
• Cesare Tinelli, Calogero G. Zarba:
  Combining Non-Stably Infinite Theories.
  Electronic Edition (link) BibTeX
• Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba:
  A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.
  Electronic Edition (link) BibTeX
• Thierry Boy de la Tour, Mnacho Echenim:
  On Leaf Permutative Theories and Occurrence Permutation Groups.
  Electronic Edition (link) BibTeX
• Sébastien Limet, Gernot Salzer:
  Manipulating Tree Tuple Languages by Transforming Logic Programs.
  Electronic Edition (link) BibTeX
• Nicolas Peltier:
  A Resolution-based Model Building Algorithm for a Fragment of OCC1N=.
  Electronic Edition (link) BibTeX
• Silvio Ranise, David Déharbe:
  Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs.
  Electronic Edition (link) BibTeX
• Nachum Dershowitz:
  Canonicity.
  Electronic Edition (link) BibTeX
• Guillaume Feuillade, Thomas Genet:
  Reachability in Conditional Term Rewriting Systems.
  Electronic Edition (link) BibTeX
• Josef Urban:
  MPTP 0.1: System Description.
  Electronic Edition (link) BibTeX
• Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso:
  VOTE: Group Editors Analyzing Tool: System Description.
  Electronic Edition (link) BibTeX
• Hans Zantema, Jan Friso Groote:
  Transforming equality logic to propositional logic.
  Electronic Edition (link) BibTeX
• Mateja Jamnik, Predrag Janicic:
  Learning Strategies for Mechanised Building of Decision Procedures.
  Electronic Edition (link) BibTeX
• Hantao Zhang, Haiou Shen, Felip Manyà:
  Exact Algorithms for MAX-SAT.
  Electronic Edition (link) BibTeX

Volume 86, Number 2, 2003

• Jean-Louis Giavitto, Pierre-Etienne Moreau:
  Preface.
  Electronic Edition (link) BibTeX
• María Alpuente, Santiago Escobar, Salvador Lucas:
  OnDemandOBJ: A Laboratory for Strategy Annotations.
  Electronic Edition (link) BibTeX
• Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
  Translating Combinatory Reduction Systems into the Rewriting Calculus.
  Electronic Edition (link) BibTeX
• Sebastian Brand, Eric Monfroy:
  Deductive Generation of Constraint Propagation Rules.
  Electronic Edition (link) BibTeX
• Julien Cohen:
  Typing rule-based transformations over topological collections.
  Electronic Edition (link) BibTeX
• Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana:
  A Tool Support for Reusing ELAN Rule-Based Components.
  Electronic Edition (link) BibTeX
• María Alpuente, Santiago Escobar, Salvador Lucas:
  On-demand Evaluation by Program Transformation.
  Electronic Edition (link) BibTeX
• Otto Skrove Bagge, Magne Haveraaen:
  Domain-Specific Optimisation with User-Defined Rules in CodeBoost.
  Electronic Edition (link) BibTeX
• Radoslaw Karwowski, Przemyslaw Prusinkiewicz:
  Design and Implementation of the L+C Modeling Language.
  Electronic Edition (link) BibTeX

Volume 86, Number 3, 2003

• Germán Vidal:
  Preface.
  Electronic Edition (link) BibTeX
• Jan Maluszynski:
  On integrating rules into the Semantic Web.
  Electronic Edition (link) BibTeX
• Michaël Rusinowitch:
  Automated analysis of security protocols.
  Electronic Edition (link) BibTeX
• Andrew P. Tolmach, Sergio Antoy:
  A monadic semantics for core Curry.
  Electronic Edition (link) BibTeX
• Michael Hanus, Klaus Höppner, Frank Huch:
  Towards translating embedded Curry to C.
  Electronic Edition (link) BibTeX
• Naoki Nishida, Masahiko Sakai, Toshiki Sakabe:
  Narrowing-based simulation of term rewriting systems with extra variables.
  Electronic Edition (link) BibTeX
• Alcino Cunha:
  Automatic visualization of recursion trees: a case study on generic programming.
  Electronic Edition (link) BibTeX
• Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
  Cost-sensitive diagnosis of declarative programs.
  Electronic Edition (link) BibTeX
• María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
  Abstract correction of first-order functional programs.
  Electronic Edition (link) BibTeX
• Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
  Failure and equality in functional logic programming.
  Electronic Edition (link) BibTeX
• Ginés Moreno:
  A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.
  Electronic Edition (link) BibTeX
• Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
  A safe relational calculus for functional logic deductive databases.
  Electronic Edition (link) BibTeX

Volume 86, Number 4, 2003

• Bernhard Gramlich, Salvador Lucas:
  3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings.
  Electronic Edition (link) BibTeX
• Manuel Clavel:
  Strategies and user interfaces in Maude at work.
  Electronic Edition (link) BibTeX
• Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack:
  Rewrite strategies in the rewriting calculus.
  Electronic Edition (link) BibTeX
• Jorge Sousa Pinto:
  Weak reduction and garbage collection in interaction nets.
  Electronic Edition (link) BibTeX
• Jürgen Giesl, Hans Zantema:
  Simulating liveness by reduction strategies.
  Electronic Edition (link) BibTeX
• Stéphane Lengrand:
  Call-by-value, call-by-name, and strong normalization for the classical sequent calculus.
  Electronic Edition (link) BibTeX
• Monica Nesi, Giuseppina Rucci, Massimo Verdesca:
  A rewriting strategy for protocol verification.
  Electronic Edition (link) BibTeX
• Mizuhito Ogawa:
  Call-by-need reduction for membership conditional term rewriting Systems.
  Electronic Edition (link) BibTeX