Abstract is missing.
- Three Syntactic Theories for Combinatory Graph ReductionOlivier Danvy, Ian Zerny. 1-20 [doi]
- Analysis of Air Traffic Track Data with the AutoBayes Synthesis SystemJohann Schumann, Karen Cate, Alan Lee. 21-36 [doi]
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo SystemJónathan Heras, Vico Pascual, Julio Rubio. 37-51 [doi]
- Graph Generation to Statically Represent CSP ProcessesMarisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. 52-66 [doi]
- Verification of the Schorr-Waite Algorithm - From Trees to GraphsMathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel. 67-83 [doi]
- MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and DemonstrationKanako Sakurai, Kenichi Asai. 84-98 [doi]
- Compositional CLP-Based Test Data Generation for Imperative LanguagesElvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla. 99-116 [doi]
- On Inductive Proofs by Extended Unfold/Fold Transformation RulesHirohisa Seki. 117-132 [doi]
- Non-termination Analysis of Logic Programs Using TypesDean Voets, Danny De Schreye. 133-148 [doi]
- Scaling Up Algorithmic Debugging with Virtual Execution TreesDavid Insa, Josep Silva. 149-163 [doi]
- Program Specialization for Verifying Infinite State Systems: An Experimental EvaluationFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. 164-183 [doi]
- Dependency Triples for Improving Termination Analysis of Logic Programs with CutThomas Ströder, Peter Schneider-Kamp, Jürgen Giesl. 184-199 [doi]
- A Hybrid Approach to Conjunctive Partial Evaluation of Logic ProgramsGermán Vidal. 200-214 [doi]
- Abstract Diagnosis of First Order Functional Logic ProgramsGiovanni Bacci, Marco Comini. 215-233 [doi]
- The First-Order Nominal LinkChristophe Calvès, Maribel Fernández. 234-248 [doi]