Personal information

No personal information available

Activities

Collapse all

Education and qualifications (3)

Universität Innsbruck: Innsbruck, AT

2020 to present | PhD
Education
Source: Self-asserted source
Christina Kirk

Universität Innsbruck: Innsbruck, Tirol, AT

2017 to 2020 | MSc (Computer Science)
Education
Source: Self-asserted source
Christina Kirk

Universität Innsbruck: Innsbruck, Tirol, AT

2013 to 2017 | BSc (Computer Science)
Education
Source: Self-asserted source
Christina Kirk

Works (5)

Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems

2025-01-10 | Conference paper
DOI: 10.1145/3703595.3705881
Contributors: Christina Kirk; Aart Middeldorp
Source: check_circle
Crossref

Formalizing Almost Development Closed Critical Pairs (Short Paper)

Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2023 | Conference paper
DOI: 10.4230/LIPICS.ITP.2023.38
Contributors: Christina Kohl; Aart Middeldorp
Source: Self-asserted source
Christina Kirk

A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
2023-01-11 | Conference paper
DOI: 10.1145/3573105.3575667
Contributors: Christina Kohl; Aart Middeldorp
Source: Self-asserted source
Christina Kirk

Composing Proof Terms

2019 | Book chapter
DOI: 10.1007/978-3-030-29436-6_20
Contributors: Christina Kohl; Aart Middeldorp
Source: check_circle
Crossref

ProTeM: A Proof Term Manipulator (System Description)

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2018 | Conference paper
DOI: 10.4230/LIPICS.FSCD.2018.31
Contributors: Christina Kohl; Aart Middeldorp
Source: Self-asserted source
Christina Kirk
How many people are using ORCID?