dr hab. prof. UO Wiesław Szwast

Publikacje


    2016
  1. Wiesław Szwast, Ian Pratt-Hartmann, Lidia Tendera, QUINE'S FLUTED FRAGMENT IS NON-ELEMENTARY, w: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - Septem (red. Jean-Marc Talbot and Laurent Regnier), 978-3-95977-022-4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016), 39:1--39:21.

  2. 2013
  3. Lidia Tendera, Wiesław Szwast, FO2 WITH ONE TRANSITIVE RELATION IS DECIDABLE, 30th Annual Symposium on Theoretical Aspects of Computer Science, LIPIcs (2013), 317-328.

  4. 2005
  5. Wiesław Szwast, Lidia Tendera, ON THE FINITE SATISFIABILITY PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, Lecture Notes in Artificial Intelligence, 3835 (2005), 307-321.

  6. 2004
  7. Wiesław Szwast, Lidia Tendera, THE GUARDED FRAGMENT WITH TRANSITIVE GUARDS, Annals of Pure and Applied Logic, 128 (2004), 227-276.

  8. 2001
  9. Wiesław Szwast, Lidia Tendera, ON THE DECISION PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 16 (2001), 147-156.

  10. 2000
  11. Wiesław Szwast, Lidia Tendera, Leszek Pacholski, COMPLEXITY RESULTS FOR FIRST-ORDER TWO-VARIABLE LOGIC WITH COUNTING, SIAM Journal on Computing, Vol. 29, No 4 (2000), 1083-1117.

  12. 1997
  13. Wiesław Szwast, Lidia Tendera, Leszek Pacholski, COMPLEXITY OF TWO-VARIABLE LOGIC WITH COUNTING, Proc. 12-th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos (1997), 318-327.

  14. 1995
  15. Wiesław Szwast, THE CLASS OF EXISTENTIAL SECOND-ORDER BERNAYS-SCHÖNFIKEL SENTENCES AND THE EXPONENTIAL HIERARCHY, Zeszyty Naukowe Uniwersytetu Opolskiego,, Matematyka, 29 (1995), 189-197.
  16. Wiesław Szwast, A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY, International Journal of Foundation of Computer Science, 6 (1995), 339-351.

  17. 1993
  18. Wiesław Szwast, Leszek Pacholski, A COUNTEREXAMPLE TO THE 0-1 LAW FOR THE CLASS OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY, Information and Computation, 107 (1993), 91-103.

  19. 1991
  20. Wiesław Szwast, Leszek Pacholski, ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER GÖDEL SENTENCES, Journal of Symbolic Logic, Vol. 56, No 2 (1991), 427-439.
  21. Wiesław Szwast, ON HORN SPECTRA, Theoretical Computer Science, 82 (1991), 329-339.
  22. Wiesław Szwast, Leszek Pacholski, ON THE 0-1 LAW FOR THE CLASS OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY, Proc. 6-th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos (1991), 280-285.

  23. 1990
  24. Wiesław Szwast, ON THE GENERATOR PROBLEM, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, 36 (1990), 23-27.

  25. 1989
  26. Wiesław Szwast, Tomasz Weber, Bogusław Stawski, Andrzej Reinhard, AN ATTEMPT TO USE THE ROUGH SET THEORY FOR THE CONTROL OF WATER-AIR RELATION ON A GIVEN POLDER, Bulletin of the Polish Academy of Sciences, Tech. Sci., Vol. 37, No 5-6 (1989), 339-349.
  27. Wiesław Szwast, Tomasz Weber, Bogusław Stawski, ON ERROR-CORRECTING CODES AND CLIFFORD ALGEBRAS, Bulletin of the Polish Academy of Sciences, Tech. Sci., Vol. 37, No 1-2 (1989), 75-85.
  28. Wiesław Szwast, Leszek Pacholski, THE 0-1 LAW FAILS FOR THE CLASS OF EXISTENTIAL SECOND-ORDER GÖDEL SENTENCES WITH EQUALITY, Proc. 30-th Annual IEEE Symposium on Foundations of Computer Science (1989), 160-163.

  29. 1988
  30. Wiesław Szwast, RELATIVIZATIONS OF THE LINSPACE=?EXPTIME QUESTION, Zeszyty Naukowe WSP w Opolu,, Matematyka XXVI (1988), 15-20.

  31. 1987
  32. Wiesław Szwast, HORN SPECTRA AND RELAVIZATIONS, Journal of Symbolic Logic, 52 (1987), 344.

  33. 1985
  34. Wiesław Szwast, ON SOME PROPERTIES OF HORN SPECTRA, Zeszyty Naukowe WSP w Opolu,, Matematyka XXIII (1985), 5-10.
  35. Wiesław Szwast, HORN SPECTRA AND RELATIVIZATIONS, Abstracts, Logic Colloquium 85, Paris (1985), 79.