Name Card

Full name Familienname, Vorname
van Ditmarsch, Hans
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Randrianomentsoa-2023-Logical Methods in Computer Science-vor.pdf.jpgRandrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman Impure simplicial complexes: complete axiomatizationArticle Artikel 18-Oct-2023
2van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana Simplicial IntroductionPresentation Vortrag6-Oct-2023
3van Ditmarsch-2023-On Two- and Three-valued Semantics for Impure Simplici...-vor.pdf.jpgvan Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo On Two- and Three-valued Semantics for Impure Simplicial ComplexesInproceedings Konferenzbeitrag 30-Sep-2023
4van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman Framing faultiness Kripke stylePresentation Vortrag6-Sep-2022
5van Ditmarsch-2022-A new hope-vor.pdf.jpgvan Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman A new hopeInproceedings Konferenzbeitrag 2022

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian ; Majer, Ondrej On Semantic Games for Łukasiewicz LogicBuchbeitrag Book Contribution 2018