Treffer 1 - 20 von 368 für Suche 'Aart Middeldorp', Suchdauer: 1,00s Treffer weiter einschränken
  1. 1
    CoCo 2019: report on the eighth confluence competition

    CoCo 2019: report on the eighth confluence competition von Middeldorp, Aart, Nagele, Julian, Shintani, Kiraku


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings

    Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings von Middeldorp, Aart


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Decreasing Diagrams and Relative Termination

    Decreasing Diagrams and Relative Termination von Hirokawa, Nao, Middeldorp, Aart

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Abstract Completion, Formalized

    Abstract Completion, Formalized von Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Satisfiability of Non-linear (Ir)rational Arithmetic

    Satisfiability of Non-linear (Ir)rational Arithmetic von Zankl, Harald, Middeldorp, Aart


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Complexity of Conditional Term Rewriting

    Complexity of Conditional Term Rewriting von Cynthia Kop, Aart Middeldorp, Thomas Sternagel


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The Lean Theorem Prover (System Description)

    The Lean Theorem Prover (System Description) von de Moura, Leonardo, Kong, Soonho, Avigad, Jeremy, van Doorn, Floris, von Raumer, Jakob


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Decreasing Diagrams and Relative Termination

    Decreasing Diagrams and Relative Termination von Hirokawa, Nao, Middeldorp, Aart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

    Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited von Neurauter, Friedrich, Middeldorp, Aart


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Dependency Pairs Revisited

    Dependency Pairs Revisited von HIROKAWA, Nao, MIDDELDORP, Aart


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

    Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings von Middeldorp, Aart, Sato, Taisuke


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification

    First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification von Middeldorp, Aart, Lochmann, Alexander, Mitterwallner, Fabian

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Quantomatic: A Proof Assistant for Diagrammatic Reasoning

    Quantomatic: A Proof Assistant for Diagrammatic Reasoning von Kissinger, Aleks, Zamdzhiev, Vladimir


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Tools in Term Rewriting for Education

    Tools in Term Rewriting for Education von Winkler, Sarah, Middeldorp, Aart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Tyrolean termination tool: Techniques and features

    Tyrolean termination tool: Techniques and features von Hirokawa, Nao, Middeldorp, Aart

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting

    Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting von Neurauter, Friedrich, Zankl, Harald, Middeldorp, Aart


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Preface: Selected Extended Papers of CADE 2015

    Preface: Selected Extended Papers of CADE 2015 von Felty, Amy, Middeldorp, Aart

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

    Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings von Felty, Amy P, Middeldorp, Aart

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Termination Competition (termCOMP 2015)

    Termination Competition (termCOMP 2015) von Giesl, Jürgen, Mesnard, Frédéric, Rubio, Albert, Thiemann, René, Waldmann, Johannes


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Constraint-Based Multi-Completion Procedures for Term Rewriting Systems

    Constraint-Based Multi-Completion Procedures for Term Rewriting Systems von SATO, Haruhiko, KURIHARA, Masahito, WINKLER, Sarah, MIDDELDORP, Aart


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: