2. ALP 1990: Nancy, France
Invited Talk
Session 1
H. R. Walters:
Hybrid Implementations of Algebraic Specifications.
40-54
Session 2
Michael Hanus:
Logic Programs with Equational Type Specifications (Extended Abstract).
70-85
Zhenyu Qian:
Higher-Order Order-Sorted Algebras.
86-100
Invited Talk
Session 3
Aïda Batarekh:
Fixpoint Techniques for Non-Monotone Maps.
132-143
Taisuke Sato:
An Equivalence Preserving First Order Unfold/fold Transformation System.
173-188
Session 4
Session 5
Patrick Saint-Dizier:
On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic.
232-246
Jia Liang Han:
Recursive Query Processing in Predicate-Goal Graph.
247-261
Invited Talk
Pierre Lescanne:
Implementations of Completion by Transition Rules + Control: ORME.
262-269
Session 6
Session 7
Dieter Hofbauer:
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.
347-358
Ke Li:
Optimization of Rewriting and Complexity of Rewriting.
359-371
Joachim Steinbach:
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.
372-386
data released under the ODC-BY 1.0 license
