Talks
- The Feferman-Vaught Theory:
The First-order Properties of Products of Algebraic Systems.
January, 2003.
-
Knuth Bendix Order and Its Decidability. Logic Colloquium 2008
-
Verifying Balanced Trees. LFCS 2007, June, 2007.
-
The Decidability of the First-order Theory of Knuth-Bendix Order.
CADE-20, July, 2005.
-
Decision Procedures for Queues with Integer Constraints.
FSTTCS-25, December, 2005.
-
Decision Procedures for Recursive Data Structures with Integer Constraints.
IJCAR-2, July, 2004.
-
Term Algebras with Length Function and Bounded Quantifier Alternation.
TPHOLs-17, September, 2004.
-
A Proof of Topological Completeness for S4 in (0,1).
December, 2002.
-
Rabin Theory and Game Automata:An Introduction.
November, 2002.
-
Decidability of Integer Multiplication and Ordinal Addition:
Two Applications of the Feferman-Vaught Theory.
February, 2003.
-
The Feferman-Vaught Theory:
The First-order Properties of Products of Algebraic Systems.
January, 2003 (Ph.D. Qualifying Examination).
-
A Proof of Topological Completeness for S4 in (0,1).
January, 2003.
-
A Survey of Quantifier Elimination: Syntactic and Semantic Approaches.
June, 2002.
-
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit.
May, 2001.
-
Automorphism.
November, 2001.
-
Interpolation in Classic Predicate Logic and Quantified Modal Logic S5(S5B).
March, 2002.
-
An Ideal Characterization of Mahlo Cardinals.
February, 2002.
-
Model-theoretic Forcing and Its Applications.
March, 2002.
-
Strong Normalization for Nm® , l® and Arithmetic.
November, 2002.
-
The Ramified Set Theory.
March, 2003.