Journal of Automated Reasoning
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Hi-index | 0.00 |