Filter
Conference Article in proceeding

Search results

  • 2023

    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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

    Kappé, T., 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

    Różowski, W., Kappé, T., Kozen, D., Schmid, T. & Silva, A., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 261. 20 p. 136. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access