scientific article; zbMATH DE number 1487858

MaRDI QIDQ4494385zbMATH OpenFDO

Authors Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel

Publication date 10 August 2000

zbMATH Keywords

deforestationpartial evaluationsemantic domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Equational semantics
• Equational type logic
• scientific article; zbMATH DE number 4037157
• scientific article; zbMATH DE number 3958699
• Equational logic as a tool
• scientific article; zbMATH DE number 2086607
• Equational propositional logic
• A simple abstract semantics for equational theories
• Equational descriptions of languages

Cited in

(4)

• Equational logic and categorical semantics for multi-languages
• Ternary Equational Languages
• scientific article; zbMATH DE number 1962779 (Why is no real title available?)
• Automated Deduction – CADE-19

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