Wolfgang May

From MaRDI portal
Person:2761745

Available identifiers

zbMath Open may.wolfgangMaRDI QIDQ2761745

List of research outcomes





PublicationDate of PublicationType
A tableau calculus for first-order branching time logic2019-04-29Paper
Proving correctness of labeled transition systems by semantic tableaux2019-01-15Paper
Embedding event algebras and process algebras in a framework for ECA rules for the semantic web2008-03-19Paper
https://portal.mardi4nfdi.de/entity/Q57142562005-12-28Paper
XPath-logic and XPathLog: A logic-programming style XML data manipulation language2005-04-15Paper
Nonmonotonic inheritance in object-oriented deductive database languages2002-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42630181999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q44008091998-12-14Paper

Research outcomes over time

This page was built for person: Wolfgang May

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