scientific article; zbMATH DE number 4009812

MaRDI QIDQ3759935zbMATH OpenFDO

Authors M. Cayrol

Publication date 1985

zbMATH Keywords

infinite setslazy evaluationLISPlanguage PSILmanipulation with infinitary objects

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 3905829
• scientific article; zbMATH DE number 3970093
• Logic programming with infinite sets
• LOIS: syntax and semantics
• {log}: A language for programming in logic with finite sets

Cited in

(7)

• Imperative programming in sets with atoms
• scientific article; zbMATH DE number 3982488 (Why is no real title available?)
• LOIS: syntax and semantics
• Infinite structures in Scratchpad II
• SMT solving for functional programming over infinite structures
• scientific article; zbMATH DE number 3905829 (Why is no real title available?)
• scientific article; zbMATH DE number 3970093 (Why is no real title available?)

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 Q3759935)