Paul Brunet

From MaRDI portal
Person:299192

Available identifiers

zbMath Open brunet.paulMaRDI QIDQ299192

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58741972023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q58754032023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q50912692022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50892852022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q51556812021-10-08Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness2020-09-23Paper
https://portal.mardi4nfdi.de/entity/Q51116392020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q51116422020-05-27Paper
Reversible Kleene lattices2020-05-26Paper
Concurrent Kleene algebra: free model and completeness2019-09-13Paper
On series-parallel pomset languages: rationality, context-freeness and automata2019-03-27Paper
Petri Automata for Kleene Allegories2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46085812018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q53670722017-10-12Paper
Cardinalities of Finite Relations in Coq2016-10-27Paper
Algorithms for Kleene algebra with converse2016-06-22Paper
Kleene Algebra with Converse2014-04-16Paper

Research outcomes over time

This page was built for person: Paul Brunet

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