A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
A Formalization of the Knuth---Bendix(---Huet) Critical Pair Theorem
Journal of Automated Reasoning
Hi-index | 0.00 |