- Kurt Gödel: Completeness and Incompleteness2015 | Faculty of Arts
- Transformation and aggregation preprocessing for top-k recommendation GAP rules induction2015 | Faculty of Mathematics and Physics
- Deciding first order properties of matroids2012 | Faculty of Mathematics and Physics
- First-Order Interpretations of Bounded Expansion Classes +12020 | Faculty of Mathematics and Physics
- A model theory approach to structural limits2012 | Faculty of Mathematics and Physics
- MSOL Restricted Contractibility to Planar Graphs2012 | Faculty of Mathematics and Physics
- Approximating max-cut under graph-MSO constraints2018 | Faculty of Mathematics and Physics
- Cluster analysis of local convergent sequences of structures2017 | Faculty of Mathematics and Physics
- A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth2020 | Faculty of Mathematics and Physics
- Mathematics and the computer proofs2008 | Faculty of Mathematics and Physics
- Mathematics and the computer proofs2008 | Faculty of Education
- SPASS Version 3.52009 | Faculty of Mathematics and Physics
- Logic2002 | Faculty of Physical Education and Sport
- Decomposition width of matroids2012 | Faculty of Mathematics and Physics
- Incox - A language for XML Integrity Constraints Description +12008 | Faculty of Mathematics and Physics
- External Sources of Axioms in Automated Theorem Proving2009 | Faculty of Mathematics and Physics
- Model-Checking on Ordered Structures2020 | Faculty of Mathematics and Physics
- Baker game and polynomial-time approximation schemes2020 | Faculty of Mathematics and Physics
- Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2012 | Faculty of Mathematics and Physics
- Approximation Metatheorems for Classes with Bounded Expansion2022 | Faculty of Mathematics and Physics
- Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem2010 | Faculty of Mathematics and Physics
- Formulating the template ILP consistency problem as a constraint satisfaction problem2013 | Faculty of Mathematics and Physics
- A nonstandard semantic framework for intuitionistic logic2016 | Faculty of Arts
- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms2012 | Faculty of Mathematics and Physics
- On Guarded Extensions of MMSNP2023 | Faculty of Mathematics and Physics
- Definability of satisfaction in outer models2016 | Faculty of Arts
- Farkas-Based Tree Interpolation2020 | Faculty of Mathematics and Physics
- Fixed-Template Promise Model Checking Problems2022 | Faculty of Mathematics and Physics