AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Emanuel Kieronski

Emanuel Kieronski

University of Wroclaw - Wroclaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1793567
Uniwersytet Wroclawski
person_outline Emanuel Kieronski's MOST POPULAR ARTICLES
1-) Two-variable first-order logic with equivalence closure SIAM Journal on Computing 43 (3), 1012-1063, 2014
2-) On finite satisfiability of two-variable first-order logic with equivalence relations 2009 24th Annual IEEE Symposium on Logic In Computer Science, 123-132, 2009
3-) Results on the guarded fragment with equivalence or transitive relations International Workshop on Computer Science Logic, 309-324, 2005
4-) Small substructures and decidability issues for first-order logic with two variables 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 448-457, 2005
5-) Small substructures and decidability issues for first-order logic with two variables The Journal of Symbolic Logic 77 (03), 729-765, 2012