Wieslaw Szwast

18 papers A* 4A 1B 2Journal 11
YearRankTypeTitle / Venue / Authors
2019 J jnl
On the satisfiability problem for fragments of two-variable logic with one transitive relation.
J. Log. Comput.
Wieslaw Szwast, Lidia Tendera
2019 J jnl
The Fluted Fragment Revisited.
J. Symb. Log.
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
2018 J jnl
On the satisfiability problem for fragments of the two-variable logic with one transitive relation.
CoRR
Wieslaw Szwast, Lidia Tendera
2018 J jnl
Quine's Fluted Fragment Revisited.
CoRR
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
2016 B conf
Quine's Fluted Fragment is Non-Elementary.
CSL
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
2013 A conf
FO^2 with one transitive relation is decidable.
STACS
Wieslaw Szwast, Lidia Tendera
2005 B conf
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.
LPAR
Wieslaw Szwast, Lidia Tendera
2004 J jnl
The guarded fragment with transitive guards.
Ann. Pure Appl. Log.
Wieslaw Szwast, Lidia Tendera
2001 A* conf
On the Decision Problem for the Guarded Fragment with Transitivity.
LICS
Wieslaw Szwast, Lidia Tendera
2000 J jnl
Complexity Results for First-Order Two-Variable Logic with Counting.
SIAM J. Comput.
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
1997 A* conf
Complexity of Two-Variable Logic with Counting.
LICS
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
1995 J jnl
A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality.
Int. J. Found. Comput. Sci.
Wieslaw Szwast
1993 J jnl
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality
Inf. Comput.
Leszek Pacholski, Wieslaw Szwast
1991 J jnl
Asymptotic Probabilities of Existential Second-Order Gödel Structures.
J. Symb. Log.
Leszek Pacholski, Wieslaw Szwast
1991 J jnl
On Horn Spectra.
Theor. Comput. Sci.
Wieslaw Szwast
1991 A* conf
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality
LICS
Leszek Pacholski, Wieslaw Szwast
1990 J jnl
On the generator problem.
Math. Log. Q.
Wieslaw Szwast
1989 A* conf
The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality
FOCS
Leszek Pacholski, Wieslaw Szwast