Discriminator varieties and symbolic computation
Journal of Symbolic Computation
Reduction of Hilbert-type proof systems to the if-then-else equational logic
Journal of Applied Mathematics and Computing
Symbolic program analysis using term rewriting and generalization
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Proposition algebra and short-circuit logic
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |