scientific article; zbMATH DE number 7023675

MaRDI QIDQ4623261zbMATH OpenFDO

Authors Eugeniusz Eberbach

Publication date 14 February 2019

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• An SMT theory of fixed-point arithmetic
• The equational logic of fixed points
• Solving fixed point equations over complete semirings
• Fixed-point constraints for nominal equational unification
• Equivalence of two fixed-point semantics for definitional higher-order logic programs
• Equivalence of two fixed-point semantics for definitional higher-order logic programs
• scientific article; zbMATH DE number 1222426
• scientific article; zbMATH DE number 2087210
• Characteristic formulae for fixed-point semantics: a general framework

Cited in

(1)

• scientific article; zbMATH DE number 1190626 (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 Q4623261)