Analysis of Polymorphically Typed Logic Programs Using ACI-Unification (2001)

Cached

Download Links

by Jan-Georg Smaus
Venue:In Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Artificial Intelligence
Citations:3 - 1 self