Wieslaw Szwast
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1989–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CSL | Quine's Fluted Fragment is Non-Elementary. | Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
| 2013 | STACS | FO^2 with one transitive relation is decidable. | Wieslaw Szwast, Lidia Tendera |
| 2005 | LPAR | On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. | Wieslaw Szwast, Lidia Tendera |
| 2001 | LICS | On the Decision Problem for the Guarded Fragment with Transitivity. | Wieslaw Szwast, Lidia Tendera |
| 1997 | LICS | Complexity of Two-Variable Logic with Counting. | Leszek Pacholski, Wieslaw Szwast, Lidia Tendera |
| 1991 | LICS | On the 0-1 Law for the class of Existential Second Order Minimal Gdel Sentences with Equality | Leszek Pacholski, Wieslaw Szwast |
| 1989 | FOCS | The 0-1 Law Fails for the Class of Existential Second Order Gdel Sentences with Equality | Leszek Pacholski, Wieslaw Szwast |