Aart Middeldorp
1PUBLICATIONS
2CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Apr 11, 2023
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification.Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
Pageof 1
