ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Category-based constraint logic
Mathematical Structures in Computer Science
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Hi-index | 0.00 |