Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Vukmirović, Petar"'
Autor:
Blanchette, Jasmin, Vukmirović, Petar
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 2 (May 8, 2023) lmcs:9928
We generalize several propositional preprocessing techniques to higher-order logic, building on existing first-order generalizations. These techniques eliminate literals, clauses, or predicate symbols from the problem, with the aim of making it more
Externí odkaz:
http://arxiv.org/abs/2208.07775
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of $\lambda$-terms and rely
Externí odkaz:
http://arxiv.org/abs/2102.00453
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 4 (December 14, 2021) lmcs:6919
We developed a procedure to enumerate complete sets of higher-order unifiers based on work by Jensen and Pietrzykowski. Our procedure removes many redundant unifiers by carefully restricting the search space and tightly integrating decision procedure
Externí odkaz:
http://arxiv.org/abs/2011.09507
Autor:
BENTKAMP, ALEXANDER, BLANCHETTE, JASMIN, NUMMELIN, VISA, TOURRET, SOPHIE, VUKMIROVIĆ, PETAR, WALDMANN, UWE
Publikováno v:
Communications of the ACM; Apr2023, Vol. 66 Issue 4, p80-90, 11p, 2 Color Photographs, 2 Diagrams, 1 Chart
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
BLANCHETTE, JASMIN, VUKMIROVIĆ, PETAR
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-23, 23p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.