| Document Date: 2010-03-30 09:07:46
Open Document File Size: 168,30 KBShare Result on Facebook
City Milano / / Company idealized LP / / Country Italy / / / Facility The University of Edinburgh / / IndustryTerm abstract logic programming systems / linear algorithm / nifty applications / uniform proof search / goal-oriented proof search / proof search / proof search aspects / proof search mechanism / reverse algorithm / following simple algorithm / / Organization Laboratory for the Foundations / Laboratory for the Foundations of Computer Science / School of Informatics / University of Edinburgh / / Person Andreoli / / Position naive interpreter / head / interpreter / programmer / / ProgrammingLanguage Standard ML / Prolog / / ProvinceOrState British Columbia / / Technology functional programming / /
SocialTag |
Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy