Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Formal languages / Syntax / Formal systems / Proof assistants / Type theory / Metamath / Formal proof / Theory / OMDoc


Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 398,48 KB

Share Result on Facebook
UPDATE