RDP'03 - Federated Conference on Rewriting, Deduction and Programming 2003 RDP'03 Home Page
Volume 86, Number 1, 2003
FTP'03, 4th International Workshop on First-Order Theorem Proving
June 2003 FTP'03 Home Page
: Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER.
: A Resolution-based Model Building Algorithm for a Fragment of OCC1N=.
Volume 86, Number 2, 2003
RULE'03, 4th International Workshop on rule-Based Programming
June 2003 RULE'03 Home Page
: Typing rule-based transformations over topological collections.
Volume 86, Number 3, 2003
WFLP'03, 12th International Workshop on Functional and Constraint Logic Programming
June 2003 WFLP'03 Home Page
: Automatic visualization of recursion trees: a case study on generic programming.
: A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.
Volume 86, Number 4, 2003
, Salvador Lucas
: Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings.
: Strategies and user interfaces in Maude at work.
Jorge Sousa Pinto
: Weak reduction and garbage collection in interaction nets.
: Call-by-need reduction for membership conditional term rewriting Systems.
: Call-by-value, call-by-name, and strong normalization for the classical sequent calculus.