Amadeo Casas

From MaRDI portal
Person:3087443

Available identifiers

zbMath Open casas.amadeoMaRDI QIDQ3087443

List of research outcomes





PublicationDate of PublicationType
Parallel backtracking with answer memoing for independent and-parallelism2011-08-16Paper
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs2009-01-22Paper
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism2009-01-22Paper
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems2007-05-02Paper

Research outcomes over time

This page was built for person: Amadeo Casas

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3087443&oldid=7831368"
Powered by MediaWiki