BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES.
Saved in:
| Title: | BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES. |
|---|---|
| Authors: | ULLRICH, SEBASTIAN1, sebastian.ullrich@kit.edu, DE MOURA, LEONARDO2, leonardo@microsoft.com |
| Source: | Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 2, p1-21, 21p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
