( en | de | ru )

 

Disambiguation of "Kupke, Clemens"

Author of the publication

copydeleteadd this publication to your clipboard
Forward and Backward Steps in a Fibration.

, , , and . CALCO, volume 270 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Kupke

Barbara Kupke

Thomas Kupke

Waldemar Kupke

Jochen Küpke

 

Other publications of authors with the same name

Preservation and Reflection of Bisimilarity via Invertible Steps., , , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 328-348. Springer, (2023)Parity Games and Automata for Game Logic., , , and . DALI@TABLEAUX, volume 10669 of Lecture Notes in Computer Science, page 115-132. Springer, (2017)A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists., , and . APLAS, volume 14405 of Lecture Notes in Computer Science, page 135-154. Springer, (2023)Ultrafilter Extensions for Coalgebras., , and . CALCO, volume 3629 of Lecture Notes in Computer Science, page 263-277. Springer, (2005)Expressive Logics for Coinductive Predicates., and . CSL, volume 152 of LIPIcs, page 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Forward and Backward Steps in a Fibration., , , and . CALCO, volume 270 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Size measures and alphabetic equivalence in the μ-calculus., , and . LICS, page 18:1-18:13. ACM, (2022)Proving Behavioural Apartness., , , and . CMCS, volume 14617 of Lecture Notes in Computer Science, page 156-173. Springer, (2024)A Final Coalgebra for k-regular Sequences., , , and . Horizons of the Mind, volume 8464 of Lecture Notes in Computer Science, page 363-383. Springer, (2014)Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics., , and . IFIP TCS, volume 8705 of Lecture Notes in Computer Science, page 281-295. Springer, (2014)