scientific article; zbMATH DE number 107624

MaRDI QIDQ4023210zbMATH OpenFDO

Authors A. A. Nabebin

Publication date 23 January 1993

zbMATH Keywords

algebra of logiccalculi of logiccombinatoricsfinite automatagraph theorylogic programmingProlog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Discrete mathematics in relation to computer science (68R99)

Recommendations

• scientific article; zbMATH DE number 845113
• scientific article; zbMATH DE number 793951
• Logic and discrete mathematics. A concise introduction
• Mathematical aspects of logic programming semantics.
• scientific article; zbMATH DE number 1615755
• scientific article; zbMATH DE number 1033026
• scientific article; zbMATH DE number 1461245
• scientific article; zbMATH DE number 1852932
• scientific article; zbMATH DE number 49478
• scientific article; zbMATH DE number 877013

Cited in

(2)

• Mathematical programming embeddings of logic
• scientific article; zbMATH DE number 203970 (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 Q4023210)