Wieslaw Szwast

According to our database, Wieslaw Szwast authored at least 17 papers between 1989 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

On the satisfiability problem for fragments of two-variable logic with one transitive relation.

Wieslaw Szwast, Lidia Tendera

J. Log. Comput., 2019

The Fluted Fragment Revisited.

Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera

J. Symb. Log., 2019

2018

Quine's Fluted Fragment Revisited.

Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera

CoRR, 2018

2016

Quine's Fluted Fragment is Non-Elementary.

Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2013

FO^2 with one transitive relation is decidable.

Wieslaw Szwast, Lidia Tendera

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

2005

On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast, Lidia Tendera

Proceedings of the Logic for Programming, 2005

2004

The guarded fragment with transitive guards.

Wieslaw Szwast, Lidia Tendera

Ann. Pure Appl. Log., 2004

2001

On the Decision Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast, Lidia Tendera

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Complexity Results for First-Order Two-Variable Logic with Counting.

Leszek Pacholski, Wieslaw Szwast, Lidia Tendera

SIAM J. Comput., 2000

1997

Complexity of Two-Variable Logic with Counting.

Leszek Pacholski, Wieslaw Szwast, Lidia Tendera

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1995

A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality.

Wieslaw Szwast

Int. J. Found. Comput. Sci., 1995

1993

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Inf. Comput., November, 1993

1991

On Horn Spectra.

Wieslaw Szwast

Theor. Comput. Sci., 1991

Asymptotic Probabilities of Existential Second-Order Gödel Structures.

Leszek Pacholski, Wieslaw Szwast

J. Symb. Log., 1991

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990

On the generator problem.

Wieslaw Szwast

Math. Log. Q., 1990

1989

The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989