Tobias Kappé

Available identifiers

zbMath Open kappe.tobiasMaRDI QIDQ1734518

List of research outcomes

Publication	Date of Publication	Type
Completeness and the finite model property for Kleene algebra, reconsidered	2023-08-17	Paper
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks	2023-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875346	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875403	2023-02-03	Paper
A categorical framework for learning generalised tree automata	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5089285	2022-07-18	Paper
Learning pomset automata	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5155681	2021-10-08	Paper
Learning to coordinate	2021-06-03	Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness	2020-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q5111639	2020-05-27	Paper
Completeness and incompleteness of synchronous Kleene algebra	2020-05-05	Paper
Concurrent Kleene algebra: free model and completeness	2019-09-13	Paper
On series-parallel pomset languages: rationality, context-freeness and automata	2019-03-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tobias Kappé