Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)

Original language	English
DOIs	https://doi.org/10.5281/zenodo.7467245
Publication status	Published - 21 Dec 2022

Access to Document

• 10.5281/zenodo.7467245Licence: Other

• https://github.com/TobiasKappe/ka-fmp-proofsLicence: Other

Activities

Activities per year 2023 2023 2023

• 1 Attending an event
• 1 Conference contribution (without a publication)
• 1 Talk or presentation (not at a conference)

Activities per year

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

  Tobias Kappé (Speaker)

  4 Apr 2023

  Activity: Talk or presentation types › Conference contribution (without a publication) › Academic

• 20th International Conference on Relational and Algebraic Methods in Computer Science

  Tobias Kappé (Participant / Attendee)

  3 Apr 2023 → 6 Apr 2023

  Activity: Attending or organising an event types › Attending an event › Academic

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

  Tobias Kappé (Speaker)

  28 Mar 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

Research output

Research output per year 2023 2023 2023

• 1 Conference Article in proceeding

Research output per year

Research output per year

• 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

  • Algebra 100%
  • Derivatives 13%

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Kappé, T. W. J. (Author). (2022). Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization). Software https://doi.org/10.5281/zenodo.7467245

Kappé, T.W.J. (Author). / Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization). [Software].

@misc{a8c9dfc5050e4bcc8feda40a5f6570f5,

title = "Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)",

author = "T.W.J. Kapp{\'e}",

year = "2022",

month = dec,

day = "21",

doi = "10.5281/zenodo.7467245",

language = "English",

}

Kappé, TWJ, Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization), 2022, Software. https://doi.org/10.5281/zenodo.7467245

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization). Kappé, T.W.J. (Author). 2022.

Research output: Non-textual form › Software › Academic

TY - ADVS

T1 - Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)

AU - Kappé, T.W.J.

PY - 2022/12/21

Y1 - 2022/12/21

U2 - 10.5281/zenodo.7467245

DO - 10.5281/zenodo.7467245

M3 - Software

ER -

Kappé TWJ (Author). Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization) 2022. doi: 10.5281/zenodo.7467245