PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Journal of Symbolic Computation
Hi-index | 0.00 |