Paula Chocron

From MaRDI portal
Person:2303235

Available identifiers

zbMath Open chocron.paulaMaRDI QIDQ2303235

List of research outcomes





PublicationDate of PublicationType
Politeness and combination methods for theories with bridging functions2020-03-03Paper
A rewriting approach to the combination of data structures with bridging theories2017-02-27Paper
A polite non-disjoint combination method: theories with bridging functions revisited2015-12-02Paper
A gentle non-disjoint combination of satisfiability procedures2014-09-26Paper

Research outcomes over time

This page was built for person: Paula Chocron

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