Journal of Symbolic Computation
Proving and disproving termination of higher-order functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |