Treffer 1 – 9 von 9 für Suche 'Hansen, Helle Hvid', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Monotonic modal logics

    Monotonic modal logics von Hansen, Helle Hvid

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Bisimulation for neighbourhood structures

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

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Axiomatising nash-consistent coalition logic

    Axiomatising nash-consistent coalition logic von Hansen, Helle Hvid

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    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 öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    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 öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    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 öffnen Volltext öffnen
    Elektronisch E-Book


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: