Treffer 1 - 20 von 20 für Suche 'Hundeshagen, Norbert', Suchdauer: 0,91s Treffer weiter einschränken
  1. 1
    The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

    The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs von Ehle, Arno, Hundeshagen, Norbert, Lange, Martin


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Multi-Buffer Simulations for Trace Language Inclusion

    Multi-Buffer Simulations for Trace Language Inclusion von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Two-Buffer Simulation Games

    Two-Buffer Simulation Games von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Restarting Transducers, Regular Languages, and Rational Relations

    Restarting Transducers, Regular Languages, and Rational Relations von Hundeshagen, Norbert, Otto, Friedrich

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Transducing by observing length-reducing and painter rules

    Transducing by observing length-reducing and painter rules von Hundeshagen, Norbert, Leupold, Peter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Multi-buffer simulations: Decidability and complexity

    Multi-buffer simulations: Decidability and complexity von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Étienne

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    DiMo – Discrete Modelling Using Propositional Logic

    DiMo – Discrete Modelling Using Propositional Logic von Hundeshagen, Norbert, Lange, Martin, Siebert, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Model Checking CTL over Restricted Classes of Automatic Structures

    Model Checking CTL over Restricted Classes of Automatic Structures von Hundeshagen, Norbert, Lange, Martin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Hierarchy of Transducing Observer Systems

    A Hierarchy of Transducing Observer Systems von Leupold, Peter, Hundeshagen, Norbert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Characterizing the Rational Functions by Restarting Transducers

    Characterizing the Rational Functions by Restarting Transducers von Hundeshagen, Norbert, Otto, Friedrich


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Weighted Restarting Automata and Pushdown Relations

    Weighted Restarting Automata and Pushdown Relations von Wang, Qichao, Hundeshagen, Norbert, Otto, Friedrich


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Characterizing the Regular Languages by Nonforgetting Restarting Automata

    Characterizing the Regular Languages by Nonforgetting Restarting Automata von Hundeshagen, Norbert, Otto, Friedrich


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A Proposal for a Framework to Accompany Formal Methods Learning Tools: Short Paper

    A Proposal for a Framework to Accompany Formal Methods Learning Tools: Short Paper von Hundeshagen, Norbert, Lange, Martin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

    The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs von Ehle, Arno, Hundeshagen, Norbert, Lange, Martin

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata

    Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata von Hundeshagen, Norbert, Otto, Friedrich, Vollweiler, Marcel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs

    The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs von Ehle, Arno, Hundeshagen, Norbert, Lange, Martin

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Multi-Buffer Simulations for Trace Language Inclusion

    Multi-Buffer Simulations for Trace Language Inclusion von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Two-Buffer Simulation Games

    Two-Buffer Simulation Games von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs

    The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs von Ehle, Arno, Hundeshagen, Norbert, Lange, Martin

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Relations and Transductions Realized by Restarting Automata

    Relations and Transductions Realized by Restarting Automata von Hundeshagen, Norbert

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: