Alexander Lochmann

From MaRDI portal
Person:2233501

Available identifiers

zbMath Open lochmann.alexanderMaRDI QIDQ2233501

List of research outcomes





PublicationDate of PublicationType
First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification2023-06-27Paper
Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting2021-11-10Paper
Certifying proofs in the first-order theory of rewriting2021-10-18Paper

Research outcomes over time

This page was built for person: Alexander Lochmann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2233501&oldid=6859942"
Powered by MediaWiki