Ausgabe 1/2003
Inhalt (4 Artikel)
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations
Antonella Santone, Gigliola Vaglini
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF
Fairouz Kamareddine, Haiyan Qiao
Paramodulation and Knuth–Bendix Completion with Nontotal and Nonmonotonic Orderings
Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio