( en | de | ru )

 

Disambiguierung von "Barbosa, Haniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.

, , , , , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 311-330. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Haniel Barbosa

Joachim Haniel

Erich Haniel

Alfred Haniel

Anja Haniel

 

Weitere Publikationen von Autoren mit dem selben Namen

Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding., , , und . SMT, Volume 2854 von CEUR Workshop Proceedings, Seite 3-14. CEUR-WS.org, (2020)Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 141-160. Springer, (2020)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 279-297. Springer, (2019)Fair and Adventurous Enumeration of Quantifier Instantiations., , , und . FMCAD, Seite 256-260. IEEE, (2021)IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL., , , , , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 311-330. Springer, (2024)Synthesising Programs with Non-trivial Constants., , , , , , , , und . J. Autom. Reason., 67 (2): 19 (Juni 2023)CVC4 at the SMT Competition 2018., , , , , , , , , und 1 andere Autor(en). CoRR, (2018)cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis., , , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 74-83. Springer, (2019)Even Faster Conflicts and Lazier Reductions for String Solvers., , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 205-226. Springer, (2022)On-line synthesis of parsers for string events., , , und . J. Comput. Lang., (2021)