From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Interpolation in Local Theory Extensions.. IJCAR, том 4130 из Lecture Notes in Computer Science, стр. 235-250. Springer, (2006)On the Verification of the Correctness of a Subgraph Construction Algorithm., , и . VMCAI (1), том 14499 из Lecture Notes in Computer Science, стр. 303-325. Springer, (2024)SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)., и . SOQE@KR, том 3009 из CEUR Workshop Proceedings, стр. 75-82. CEUR-WS.org, (2021)Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+., и . Description Logics, том 2663 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Hierarchical Reasoning in Local Theory Extensions and Applications.. SYNASC, стр. 34-41. IEEE Computer Society, (2014)Interpolation in local theory extensions. CoRR, (2008)On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.. TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 235-250. Springer, (2002)Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms.. Interaction versus Automation: The two Faces of Deduction, том 09411 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+., , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 419-437. Springer, (2023)On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)., , , и . SOQE@KR, том 3009 из CEUR Workshop Proceedings, стр. 37-45. CEUR-WS.org, (2021)