Simultaneous rigid sorted unification for tableaux
From MaRDI portal
Recommendations
Cited in
(6)- scientific article; zbMATH DE number 1759378 (Why is no real title available?)
- Uncrowding algorithm for hook-valued tableaux
- scientific article; zbMATH DE number 1612559 (Why is no real title available?)
- scientific article; zbMATH DE number 67964 (Why is no real title available?)
- Tableau methods for a logic with term declarations
- scientific article; zbMATH DE number 834570 (Why is no real title available?)
This page was built for publication: Simultaneous rigid sorted unification for tableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1863821)