scientific article; zbMATH DE number 4009812

zbMATH Open0622.68036MaRDI QIDQ3759935FDOQ3759935

Authors: M. Cayrol 

Publication date: 1985

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Infinite structures in Scratchpad II
• Title not available (Why is that?)
• Title not available (Why is that?)

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)