Photo of Petar Vukmirovic

Petar Vukmirovic

    20192020

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Ancillary activities

    No ancillary activities

    Ancillary activities are updated daily

    Fingerprint

    Dive into the research topics where Petar Vukmirovic is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 2 Similar Profiles

    Network

    Recent external collaboration on country level. Dive into details by clicking on the dots.
    • Efficient Full Higher-Order Unification

      Vukmirovic, P., Bentkamp, A. & Nummelin, V., 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. M. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    • Extending a brainiac prover to lambda-free higher-order logic

      Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    • Faster, Higher, Stronger: E 2.3: E 2.3

      Schulz, S., Cruanes, S. & Vukmirovic, P., 2019, Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Fontaine, P. (ed.). Springer, p. 495-507 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    • Superposition with lambdas

      Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P. & Waldmann, U., 2019, Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.