Composing proof terms
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 794240 (Why is no real title available?)
- Conditional rewriting logic as a unified model of concurrency
- Decreasing diagrams and relative termination
- Four equivalent equivalences of reductions
- ProTeM: a proof term manipulator (system description)
- Rewriting logic: Roadmap and bibliography
- Term Rewriting and All That
This page was built for publication: Composing proof terms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2305425)