Complete Categorical Equational Deduction
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Category-based constraint logic
Mathematical Structures in Computer Science
Hi-index | 0.00 |