Wieslaw Szwast
Orcid: 0000-0001-9755-4672
According to our database1,
Wieslaw Szwast
authored at least 17 papers
between 1989 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
0
1
2
3
4
2
1
1
1
1
1
2
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
On the satisfiability problem for fragments of two-variable logic with one transitive relation.
J. Log. Comput., 2019
2018
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2013
Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013
2005
Proceedings of the Logic for Programming, 2005
2004
2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
2000
SIAM J. Comput., 2000
1997
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.
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
Inf. Comput., November, 1993
1991
J. Symb. Log., 1991
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991
1990
1989
The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality
Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989