| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 5915172 (Why is no real title available?) | 2011-06-29 | Paper |
Set constraints with projections
Journal of the ACM | 2010-07-14 | Paper |
Thue trees
Annals of Pure and Applied Logic | 2003-03-09 | Paper |
FUZZY LOGIC APPLICATION IN ERGONOMIC RENEWAL OF MULTIAGENT MANUFACTURING SYSTEMS
Cybernetics and Systems | 2002-11-27 | Paper |
In Memoriam: Jerzy łoś 1920–1998
The Bulletin of Symbolic Logic | 2000-12-28 | Paper |
The STO problem is NP-complete
Journal of Symbolic Computation | 2000-05-25 | Paper |
Complexity Results for First-Order Two-Variable Logic with Counting
SIAM Journal on Computing | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1346496 (Why is no real title available?) | 1999-10-04 | Paper |
| scientific article; zbMATH DE number 1222594 (Why is no real title available?) | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1256672 (Why is no real title available?) | 1999-04-19 | Paper |
Makanin's algorithm is not primitive recursive
Theoretical Computer Science | 1998-08-13 | Paper |
Complexity of Makanin's algorithm
Journal of the ACM | 1998-01-22 | Paper |
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality
Information and Computation | 1994-03-24 | Paper |
| scientific article; zbMATH DE number 517063 (Why is no real title available?) | 1994-03-17 | Paper |
Asymptotic probabilities of existential second-order Gödel sentences
Journal of Symbolic Logic | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4072941 (Why is no real title available?) | 1988-01-01 | Paper |
Reduced products which are not saturated
Algebra Universalis | 1982-01-01 | Paper |
Homogeneous limit reduced powers
Archiv für Mathematische Logik und Grundlagenforschung | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3609643 (Why is no real title available?) | 1977-01-01 | Paper |
Homogeneity, universality and saturatedness of limit reduced powers III
Fundamenta Mathematicae | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3539211 (Why is no real title available?) | 1976-01-01 | Paper |
On countably universal Boolean algebras compact classes of models
Fundamenta Mathematicae | 1973-01-01 | Paper |
On countably universal Boolean algebras compact classes of models
Fundamenta Mathematicae | 1973-01-01 | Paper |
On compact classes of models
Fundamenta Mathematicae | 1972-01-01 | Paper |
On countably compact reduced products, III
Colloquium Mathematicum | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3324723 (Why is no real title available?) | 1970-01-01 | Paper |
On countably compact reduced product I
Fundamenta Mathematicae | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3317734 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3315189 (Why is no real title available?) | 1969-01-01 | Paper |
Topologically compact structures and positive formulas
Colloquium Mathematicum | 1968-01-01 | Paper |
