scientific article; zbMATH DE number 4039258

MaRDI QIDQ3777429zbMATH OpenFDO

Authors Erwin Engeler

Publication date 1988

zbMATH Keywords

combinatory logiclogic programmingqualitative modelling

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Equational logic, Mal'tsev conditions (08B05) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4037184
• Institutions for logic programming
• Extension of combinatory logic to a theory of combinatory representation
• scientific article; zbMATH DE number 722586
• A model-theoretic reconstruction of the operational semantics of logic programs

Cited in

(7)

• Representation of varieties in combinatory algebras
• scientific article; zbMATH DE number 4037184 (Why is no real title available?)
• scientific article; zbMATH DE number 4087628 (Why is no real title available?)
• Credibilistic programming. An introduction to models and applications
• A content semantics for quantified relevant logics. II
• Combinatory differential fields
• Representation theorems for explanatory reasoning based on cumulative models

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