( en | de | ru )

 

Disambiguierung von "Vukmirovic, Petar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Superposition with Lambdas.

, , , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 55-73. Springer, (2019)

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.

Nikolas Vukmirovic

Bozidar Vukmirovic

Petar Stoilov

Petar Kolev

Petar Gregus

 

Weitere Publikationen von Autoren mit dem selben Namen

Superposition for Higher-Order Logic., , , und . J. Autom. Reason., 67 (1): 10 (März 2023)Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps., , , und . MOBILESoft@ICSE, Seite 35-45. IEEE, (2017)SAT-Inspired Eliminations for Superposition., , und . ACM Trans. Comput. Log., 24 (1): 7:1-7:25 (Januar 2023)SAT-Inspired Higher-Order Eliminations., und . Log. Methods Comput. Sci., (2023)SAT-Inspired Eliminations for Superposition., , und . FMCAD, Seite 231-240. IEEE, (2021)Making Higher-Order Superposition Work., , , , , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 415-432. Springer, (2021)Seventeen Provers Under the Hammer., , , und . ITP, Volume 237 von LIPIcs, Seite 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Extending a brainiac prover to lambda-free higher-order logic., , , und . Int. J. Softw. Tools Technol. Transf., 24 (1): 67-87 (2022)Making Higher-Order Superposition Work., , , , , und . J. Autom. Reason., 66 (4): 541-564 (2022)Boolean Reasoning in a Higher-Order Superposition Prover., und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 148-166. CEUR-WS.org, (2020)