A Uniform One-Dimensional Fragment with Alternation of Quantifiers von Kieroński, Emanuel

Volltext

One-dimensional fragment over words and trees von Kieroński, Emanuel, Kuusisto, Antti

Volltext

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants von Kieroński, Emanuel, Tendera, Lidia

Volltext

Completing the Picture: Complexity of Graded Modal Logics with Converse von BEDNARCZYK, BARTOSZ, KIEROŃSKI, EMANUEL, WITKOWSKI, PIOTR

Volltext

Results on the Guarded Fragment with Equivalence or Transitive Relations von KIERONSKI, Emanuel

Volltext

The co-occurrence of SAT, hypophysitis, and Schnitzler syndrome after COVID-19 vaccination: the first described case von Szklarz, Michał, Gontarz-Nowak, Katarzyna, Kieroński, Aleksander, Golon, Krystian, Górny, Jan, Matuszewski, Wojciech, Bandurska-Stankiewicz, Elżbieta

Volltext

Equivalence closure in the two-variable guarded fragment von Kieroński, Emanuel, Pratt-Hartmann, Ian, Tendera, Lidia

Volltext

Small substructures and decidability issues for first-order logic with two variables von Kieroński, Emanuel, Otto, Martin

Volltext

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic von Fiuk, Oskar, Kieronski, Emanuel

Volltext bestellen

Two-Variable First-Order Logic with Equivalence Closure von Kieroński, Emanuel, Michaliszyn, Jakub, Pratt-Hartmann, Ian, Tendera, Lidia

Volltext

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations von Kieronski, E., Tendera, L.

Volltext

An aggressive course of pyoderma gangrenosum mimicking bacterial osteomyelitis after open reduction and internal fixation of a distal radius fracture with a titanium plate von Wasiak, Michał, Ciszek, Michał, Babiak, Ireneusz, Wasilewski, Piotr, Łęgosz, Paweł, Kieroński, Bartosz, Małdyk, Paweł

Volltext

Complexity of Two-Variable Logic on Finite Trees von Benaim, Saguy, Benedikt, Michael, Charatonik, Witold, Kieroński, Emanuel, Lenhardt, Rastislav, Mazowiecki, Filip, Worrell, James

Volltext

On the complexity of the two-variable guarded fragment with transitive guards von KIERONSKI, Emanuel

Volltext

Two-Variable First-Order Logic with Equivalence Closure von Kieronski, E., Michaliszyn, J., Pratt-Hartmann, I., Tendera, L.

Volltext

One-dimensional guarded fragments von Kieronski, Emanuel

Volltext bestellen

On the Decidability of Elementary Modal Logics von Michaliszyn, Jakub, Otop, Jan, Kieroński, Emanuel

Volltext

One-Dimensional Fragment over Words and Trees von Kieronski, Emanuel, Kuusisto, Antti

Volltext

On the complexity of Maslov's class $\overline{\text{K}} von Fiuk, Oskar, Kieronski, Emanuel, Michielini, Vincent

Volltext bestellen

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic von Fiuk, Oskar, Kieronski, Emanuel

Volltext