Research output per year
Research output per year
Fingerprint
Dive into the research topics where Tobias Kappé is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Kappé, T. W. J., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Kappé, T. W. J., 21 Dec 2022Research output: Non-textual form › Software › Academic
Open Access
Activities
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Tobias Kappé (Speaker)
4 Apr 2023Activity: Talk or presentation types › Conference contribution (without a publication) › Academic
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Tobias Kappé (Speaker)
28 Mar 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
University of Warsaw
Tobias Kappé (Visiting researcher)
6 Feb 2023 → 10 Feb 2023Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic
-
20th International Conference on Relational and Algebraic Methods in Computer Science
Tobias Kappé (Participant / Attendee)
3 Apr 2023 → 6 Apr 2023Activity: Attending or organising an event types › Attending an event › Academic
-
Friedrich-Alexander-Universitat Erlangen-Nurenberg
Tobias Kappé (Visiting researcher)
10 Oct 2022 → 14 Oct 2022Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic