 | 2005 |
|---|
| 11 |       | Wieslaw Szwast,
Lidia Tendera:
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.
LPAR 2005: 307-321 |
| 2004 |
|---|
| 10 | | Wieslaw Szwast,
Lidia Tendera:
The guarded fragment with transitive guards.
Ann. Pure Appl. Logic 128(1-3): 227-276 (2004) |
| 2001 |
|---|
| 9 |  | Wieslaw Szwast,
Lidia Tendera:
On the Decision Problem for the Guarded Fragment with Transitivity.
LICS 2001: 147-156 |
| 2000 |
|---|
| 8 | | Leszek Pacholski,
Wieslaw Szwast,
Lidia Tendera:
Complexity Results for First-Order Two-Variable Logic with Counting.
SIAM J. Comput. 29(4): 1083-1117 (2000) |
| 1997 |
|---|
| 7 | | Leszek Pacholski,
Wieslaw Szwast,
Lidia Tendera:
Complexity of Two-Variable Logic with Counting.
LICS 1997: 318-327 |
| 1995 |
|---|
| 6 | | Wieslaw Szwast:
A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality.
Int. J. Found. Comput. Sci. 6(4): 339-351 (1995) |
| 1993 |
|---|
| 5 | | Leszek Pacholski,
Wieslaw Szwast:
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality
Inf. Comput. 107(1): 91-103 (1993) |
| 1991 |
|---|
| 4 | | Leszek Pacholski,
Wieslaw Szwast:
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality
LICS 1991: 280-285 |
| 3 | | Leszek Pacholski,
Wieslaw Szwast:
Asymptotic Probabilities of Existential Second-Order Gödel Structures.
J. Symb. Log. 56(2): 427-438 (1991) |
| 2 | | Wieslaw Szwast:
On Horn Spectra.
Theor. Comput. Sci. 82(2): 329-339 (1991) |
| 1989 |
|---|
| 1 | | Leszek Pacholski,
Wieslaw Szwast:
The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality
FOCS 1989: 160-163 |
