scientific article; zbMATH DE number 7204433
From MaRDI portal
Publication:5111310
Recommendations
Cites work
- scientific article; zbMATH DE number 3730111 (Why is no real title available?)
- scientific article; zbMATH DE number 1380902 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- Conditional linearization
- Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
- Hammer for Coq: automation for dependent type theory
- Non-\(\omega\)-overlapping TRSs are UN
- Open problems in rewriting
- Term Rewriting and All That
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
- Unique normal forms for lambda calculus with surjective pairing
- Unique normal forms for nonlinear term rewriting systems: Root overlaps
Cited in
(6)- Boolean algebra admits no convergent term rewriting system
- Boolean negation and non-conservativity II: The variable-sharing property
- A formalisation of consistent consequence for Boolean equation systems
- Extensionalism and induction in Boole
- scientific article; zbMATH DE number 1383062 (Why is no real title available?)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective
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 Q5111310)
