Electronic Notes in Theoretical Computer Science (ENTCS)
On Explicit Substitution with Names
Journal of Automated Reasoning
The theory of calculi with explicit substitutions revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |