Treffer 1 - 20 von 146 für Suche 'Christof Löding', Suchdauer: 0,79s Treffer weiter einschränken
  1. 1
    Resynchronized Uniformization and Definability Problems for Rational Relations

    Resynchronized Uniformization and Definability Problems for Rational Relations von Löding, Christof, Winter, Sarah


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    ICE: A Robust Framework for Learning Invariants

    ICE: A Robust Framework for Learning Invariants von Garg, Pranav, Löding, Christof, Madhusudan, P., Neider, Daniel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words

    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words von Löding, Christof, Spinrath, Christopher


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of So... von Jacobs, Bart, Löding, Christof

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

    Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of So...


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

    Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations von Löding, Christof, Winter, Sarah


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Decision Problems for Deterministic Pushdown Automata on Infinite Words

    Decision Problems for Deterministic Pushdown Automata on Infinite Words von Löding, Christof


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Modeling and Verification of Infinite Systems with Resources

    Modeling and Verification of Infinite Systems with Resources von Lang, Martin, Löding, Christof


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Constructing Deterministic Parity Automata from Positive and Negative Examples

    Constructing Deterministic Parity Automata from Positive and Negative Examples von Bohn, León, Löding, Christof

    Veröffentlicht in TheoretiCS

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Regular Cost Functions over Finite Trees

    Regular Cost Functions over Finite Trees von Colcombet, T, Löding, Christof


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Transforming structures by set interpretations

    Transforming structures by set interpretations von Colcombet, Thomas, Löding, Christof


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Choice functions and well-orderings over the infinite binary tree

    Choice functions and well-orderings over the infinite binary tree von Carayol, Arnaud, Löding, Christof, Niwinski, Damian, Walukiewicz, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A First-Order Logic with Frames

    A First-Order Logic with Frames von Murali, Adithya, Peña, Lucas, Löding, Christof, Madhusudan, P.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words

    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words von Christof Löding, Christopher Spinrath


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Reasoning About Call-by-need by Means of Types

    Reasoning About Call-by-need by Means of Types von Kesner, Delia


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Synthesis of deterministic top-down tree transducers from automatic tree relations

    Synthesis of deterministic top-down tree transducers from automatic tree relations von Löding, Christof, Winter, Sarah

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Model-guided synthesis of inductive lemmas for FOL with least fixpoints

    Model-guided synthesis of inductive lemmas for FOL with least fixpoints von Murali, Adithya, Peña, Lucas, Blanchard, Eion, Löding, Christof, Madhusudan, P.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Guarded Dependent Type Theory with Coinductive Types

    Guarded Dependent Type Theory with Coinductive Types von Bizjak, Aleš, Grathwohl, Hans Bugge, Clouston, Ranald, Møgelberg, Rasmus E., Birkedal, Lars


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Foundations for natural proofs and quantifier instantiation

    Foundations for natural proofs and quantifier instantiation von Löding, Christof, Madhusudan, P., Peña, Lucas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Finite-valued Streaming String Transducers

    Finite-valued Streaming String Transducers von Filiot, Emmanuel, Jecker, Ismaël, Puppis, Gabriele, Löding, Christof, Muscholl, Anca, Winter, Sarah

    Veröffentlicht in TheoretiCS

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: