( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Minimisation in Logical Form.

, , , , , , и . CoRR, (2020)

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.

Peter Kupke

Barbara Kupke

Thomas Kupke

Waldemar Kupke

Jochen Küpke

 

Другие публикации лиц с тем же именем

Size matters in the modal μ-calculus., , и . CoRR, (2020)Size measures and alphabetic equivalence in the μ-calculus., , и . LICS, стр. 18:1-18:13. ACM, (2022)Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics., , и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 281-295. Springer, (2014)A Final Coalgebra for k-regular Sequences., , , и . Horizons of the Mind, том 8464 из Lecture Notes in Computer Science, стр. 363-383. Springer, (2014)Completeness for Game Logic., , , , и . LICS, стр. 1-13. IEEE, (2019)A Compositional Treatment of Iterated Open Games., , , и . CoRR, (2017)Neighbourhood Structures: Bisimilarity and Basic Model Theory, , и . Logical Methods in Computer Science, (2009)Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics., , и . CoRR, (2020)Coalgebraic semantics of modal logics: An overview., и . Theor. Comput. Sci., 412 (38): 5070-5094 (2011)Preservation and Reflection of Bisimilarity via Invertible Steps., , , и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 328-348. Springer, (2023)