How to decide the lark

DOI10.1016/0304-3975(93)90015-LMaRDI QIDQ1208736zbMATH OpenFDO

Authors M. Wymann-Böni, Martin Sprenger

Publication date 16 May 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90015-L

zbMATH Keywords

canonical rewrite systemcompletion of an equational theorydecision algorithm for Smullyan's lark combinatorfragments of combinatory logicpolynomial decision procedure

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Word problems, etc. in computability and recursion theory (03D40) Grammars and rewriting systems (68Q42)

Recommendations

• How to make a decision
• DECIDING ON WHAT TO DECIDE
• How to make up one's mind
• How to decide what to do?

Cites work

• About the rewriting systems produced by the Knuth-Bendix completion algorithm
• History and basic features of the critical-pair/completion procedure
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• scientific article; zbMATH DE number 177826 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• On theories with a combinatorial definition of 'equivalence'
• The word problem for Smullyan's lark combinator is decidable

Cited in

(6)

• Displaying and deciding substructural logics. I: Logics with contraposition
• The combinator S
• scientific article; zbMATH DE number 1615239 (Why is no real title available?)
• Using groups for investigating rewrite systems
• The combinator M and the Mockingbird lattice
• Mockingbird lattices

This page was built for publication: How to decide the lark

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208736)