Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/pedreschi-d

D. Pedreschi (pedreschi-d)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Apt, Krzysztof R. and Pedreschi, D. 1993. “Reasoning about Termination of Pure Prolog Programs.” Information and Computation 106(1): 109–157.