BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES.

Saved in:

Bibliographic Details
Title:	BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES.
Authors:	ULLRICH, SEBASTIAN¹, sebastian.ullrich@kit.edu, DE MOURA, LEONARDO², leonardo@microsoft.com
Source:	Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 2, p1-21, 21p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-18(21)2022