Conference Proceedings

Approximating the Success Set of Logic Programs Using Constrained Regular Types

L NAISH

Computer Science 2003: Proceedings of the Twenty-Sixth Australasian Computer Science Conference | Australian Computer Society | Published : 2003

University of Melbourne Researchers