scientific article; zbMATH DE number 1689586
From MaRDI portal
Publication:2762878
Recommendations
Cited in
(5)- On rewrite constraints and context unification
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- scientific article; zbMATH DE number 1615233 (Why is no real title available?)
- scientific article; zbMATH DE number 1980934 (Why is no real title available?)
- Dominance constraints in stratified context unification
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 Q2762878)