Treffer 1 - 20 von 64 für Suche 'de Nivelle, Hans', Suchdauer: 0,80s Treffer weiter einschränken
  1. 1
    Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

    Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings von De Nivelle, Hans

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Recursive Inclusion Checker for Recursively Defined Subtypes

    A Recursive Inclusion Checker for Recursively Defined Subtypes von De Nivelle, Hans


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Subsumption Algorithms for Three-Valued Geometric Resolution

    Subsumption Algorithms for Three-Valued Geometric Resolution von Hans de Nivelle


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Generating Tokenizers with Flat Automata

    Generating Tokenizers with Flat Automata von de Nivelle, Hans, Muktubayeva, Dina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Theorem proving for classical logic with partial functions by reduction to Kleene logic

    Theorem proving for classical logic with partial functions by reduction to Kleene logic von de Nivelle, Hans


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Linear Nested Sequents, 2-Sequents and Hypersequents

    Linear Nested Sequents, 2-Sequents and Hypersequents von Lellmann, Björn


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The Proof Certifier Checkers

    The Proof Certifier Checkers von Chihani, Zakaria, Libal, Tomer, Reis, Giselle


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Subsumption Algorithms for Three-Valued Geometric Resolution

    Subsumption Algorithms for Three-Valued Geometric Resolution von de Nivelle, Hans


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics

    A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics von Negri, Sara, Olivetti, Nicola


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Classical Logic with Partial Functions

    Classical Logic with Partial Functions von de Nivelle, Hans

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A Modal-Layered Resolution Calculus for K

    A Modal-Layered Resolution Calculus for K von Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

    Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Proof-Search in Natural Deduction Calculus for Classical Propositional Logic

    Proof-Search in Natural Deduction Calculus for Classical Propositional Logic von Ferrari, Mauro, Fiorentini, Camillo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Deciding the guarded fragments by resolution

    Deciding the guarded fragments by resolution von Nivelle, Hans de, Rijke, Maarten de

    Veröffentlicht in Journal of symbolic computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Integrating Simplex with Tableaux

    Integrating Simplex with Tableaux von Bury, Guillaume, Delahaye, David


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

    Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method von Sioutis, Michael, Condotta, Jean-François, Salhi, Yakoub, Mazure, Bertrand


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Modal Tableau Systems with Blocking and Congruence Closure

    Modal Tableau Systems with Blocking and Congruence Closure von Schmidt, Renate A., Waldmann, Uwe


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    A Dynamic Logic with Traces and Coinduction

    A Dynamic Logic with Traces and Coinduction von Bubel, Richard, Din, Crystal Chang, Hähnle, Reiner, Nakata, Keiko


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications

    Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications von Wernhard, Christoph


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Efficient Algorithms for Bounded Rigid E-unification

    Efficient Algorithms for Bounded Rigid E-unification von Backeman, Peter, Rümmer, Philipp


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: