scientific article; zbMATH DE number 4164125

zbMATH Open0708.68013MaRDI QIDQ3490933FDOQ3490933

Authors: G. Dayantis 

Publication date: 1989

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

zbMATH Keywords

logic programmingpolymorphic type system

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• First order compiler: A deterministic logic program synthesis algorithm
• Title not available (Why is that?)
• Modeling abstract types in modules with open existential types
• Title not available (Why is that?)
• 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 Q3490933)