Dennis Peuter

From MaRDI portal
Person:831920

Available identifiers

zbMath Open peuter.dennisMaRDI QIDQ831920

List of research outcomes





PublicationDate of PublicationType
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$2024-04-26Paper
Symbol elimination and applications to parametric entailment problems2022-03-24Paper
On invariant synthesis for parametric systems2020-03-10Paper

Research outcomes over time

This page was built for person: Dennis Peuter

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