Yazar
p lescanne
3 cilt bulundu.
Cilt sonuçları
Proving Inductive Equalities: Algorithms and Implementation
Institut National de Recherche en Informatique et en Automatique, A. Lazrek, P. Lescanne, J.-J. Thiel · Yayınevi bilinmiyor
26 sayfa · 1987
Kategori yok
Equational Problems and Disunification
Institut National de Recherche en Informatique et en Automatique, H. Comon, P. Lescanne · Yayınevi bilinmiyor
52 sayfa · 1988
Equations
Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation
Institut National de Recherche en Informatique et en Automatique, Ahlem Ben Cherifa, Pierre Lescanne · Yayınevi bilinmiyor
38 sayfa · 1987
Kategori yok