Concepedia

Emanuel Kieroński

EK

10

Publications

336

Citations

10

H-Index

2006

Active since

Affiliations

University of Wrocław(Current)

Institute of Computer Science

University of Opole

University of Manchester

Institute of Mathematics

Emanuel Kieroński is an author at University of Wrocław specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSatisfiabilityComputational ComplexityVerificationProof ComplexitySemantics

Publications per year

2006–2018

10

Publications

10

Small Substructures and Decidability Issues for First-Order Logic with Two Variables

Emanuel Kieroński, Martin Otto · 2006 · 56 citations

Computational Logic, Single Equivalence Relation, Engineering +13

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations

Emanuel Kieroński, Lidia Tendera · 2009 · 50 citations

Engineering, Substructural Logic, Automated Reasoning +14

Two-Variable First-Order Logic with Equivalence Closure

Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt‐Hartmann et al. · SIAM Journal on Computing · 2014 · 47 citations

Engineering, Substructural Logic, Automated Reasoning +12

Small substructures and decidability issues for first-order logic with two variables

Emanuel Kieroński, Martin Otto · Journal of Symbolic Logic · 2012 · 46 citations

Computational Logic, Single Equivalence Relation, Engineering +14

Decidability Issues for Two-Variable Logics with Several Linear Orders

Emanuel Kieroński · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 42 citations · Full text

Engineering, Substructural Logic, Decidability Issues +12

Rows per page

1–5 of 10