Treffer 1 – 7 von 7 für Suche 'D'Agostino, Giovanna', Suchdauer: 0,02s 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
    Modal logic and non-well-founded set theory translation, bisimulation, interpolation

    Modal logic and non-well-founded set theory translation, bisimulation, interpolation von D'Agostino, Giovanna

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Comparing levels of bisimulation quantifiers logic with the mu-calculus

    Comparing levels of bisimulation quantifiers logic with the mu-calculus von D'Agostino, Giovanna, Lenzi, Giacomo

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The Loś-Tarski and Lyndon Theorem for the my-logic

    The Loś-Tarski and Lyndon Theorem for the my-logic von D'Agostino, Giovanna

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On modal mu-Calculus with explicit interpolants

    On modal mu-Calculus with explicit interpolants von D'Agostino, Giovanna, Lenzi, Giacomo

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Characterizing interpolation pairs in infinitary graded logics

    Characterizing interpolation pairs in infinitary graded logics von D'Agostino, Giovanna

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Uniform interpolation, automata and the modal my-calculus

    Uniform interpolation, automata and the modal my-calculus von D'Agostino, Giovanna, Hollenberg, Marco J.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Games, automata, logic, and formal verification (GandAlf 2011)

    Games, automata, logic, and formal verification (GandAlf 2011)

    Veröffentlicht 2013
    Weitere Verfasser: “… D'Agostino, Giovanna …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: