Petar Vukmirovi\'c

Identifiers

• name variant Petar Vukmirovi\'c 0.60 · backfill

Papers (3)

1. SAT-Inspired Higher-Order Eliminations cs.LO · 2022 · author #2
2. Superposition with Lambdas cs.LO · 2021 · author #4
3. Efficient Full Higher-Order Unification cs.LO · 2020 · author #1

Mentions

• 2208.07775 #2 · arxiv_oai · confidence 0.70 Petar Vukmirovi\'c
• 2011.09507 #1 · arxiv_oai · confidence 0.70 Petar Vukmirovi\'c
• 2102.00453 #4 · arxiv_oai · confidence 0.70 Petar Vukmirovi\'c

Frequent Coauthors

• Alexander Bentkamp 2 shared papers
• Jasmin Blanchette 2 shared papers
• Sophie Tourret 1 shared papers
• Uwe Waldmann 1 shared papers
• Visa Nummelin 1 shared papers