scientific article; zbMATH DE number 4164125

MaRDI QIDQ3490933zbMATH OpenFDO

Authors G. Dayantis

Publication date 1989

zbMATH Keywords

logic programmingpolymorphic type system

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Cited in

(7)

• Modeling abstract types in modules with open existential types
• scientific article; zbMATH DE number 1942465 (Why is no real title available?)
• scientific article; zbMATH DE number 4164151 (Why is no real title available?)
• First order compiler: A deterministic logic program synthesis algorithm
• scientific article; zbMATH DE number 4172407 (Why is no real title available?)
• scientific article; zbMATH DE number 67966 (Why is no real title available?)
• scientific article; zbMATH DE number 6304248 (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 Q3490933)