Treffer 1 - 9 von 9 für Suche 'Hansen, Helle Hvid', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    Monotonic modal logics

    Monotonic modal logics von Hansen, Helle Hvid

    Veröffentlicht 2003
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Bisimulation for neighbourhood structures

    Bisimulation for neighbourhood structures von Hansen, Helle Hvid, Kupke, Clemens, Pacuit, Eric

    Veröffentlicht 2007
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Axiomatising nash-consistent coalition logic

    Axiomatising nash-consistent coalition logic von Hansen, Helle Hvid

    Veröffentlicht 2002
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Logic, language, and computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers

    Logic, language, and computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected p...

    Veröffentlicht 2017
    Weitere Verfasser: “… Hansen, Helle Hvid …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Coalgebraic methods in computer science 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, proceedings

    Coalgebraic methods in computer science 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Hansen, Helle Hvid …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

    Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Hansen, Helle Hvid …”

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Coalgebraic methods in computer science 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings

    Coalgebraic methods in computer science 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Hansen, Helle Hvid …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers

    Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser: “… Hansen, Helle Hvid …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Logic, language, information, and computation 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings

    Logic, language, information, and computation 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Hansen, Helle Hvid …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: