Dimension inference under polymorphic recursion
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Planning Proofs of Equations in CCS
Automated Software Engineering
A taxonomy of theorem-proving strategies
Artificial intelligence today
Hi-index | 0.00 |