scientific article; zbMATH DE number 1942455

zbMATH Open1019.68515MaRDI QIDQ4409155FDOQ4409155

Authors: Pascual Julián Iranzo 

Publication date: 30 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2441/24410119.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1088020
• Improving the efficiency of non-deterministic computations
• Infinite unfolding and transformations of nondeterministic programs
• Rules + strategies for transforming lazy functional logic programs
• Improving lazy non-deterministic computations by demand analysis

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Cited In (3)

• On the Correctness of Bubbling
• On the correctness of pull-tabbing
• Infinite unfolding and transformations of nondeterministic programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4409155)