20192019
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
Equivalence classes Engineering & Materials Science
Higher-order Logic Mathematics
Data structures Engineering & Materials Science
Algorithms and Data Structures Mathematics
Higher Order Mathematics
Theorem proving Engineering & Materials Science
Heuristics Mathematics
Theorem Proving Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2019 2019

  • 3 Conference contribution

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

Higher-order Logic
Data structures
Algorithms and Data Structures
Higher Order
Theorem proving

Faster, Higher, Stronger: 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. p. 495-507 13 p.

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

Superposition with Lambdas

Bentkamp, A., Blanchette, J. C., Tourret, S., Vukmirovic, P. & Waldmann, U., 19 Apr 2019, (Accepted/In press) The 27th International Conference on Automated Deduction: CADE-27. p. 28-46 18 p.

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

Equivalence classes