Fabian Mitterwallner

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Decision Making

Autism Spectrum Disorder

Top Venues

Journal of automated reasoning

This page only lists publications with an associated author ORCID identifier.

Publications

Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. Journal of automated reasoning 67 (2) (2023)