views: 3

Wieslaw Szwast

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers7 papers

Sort

By YearBy Citation

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

Wieslaw Szwast,Lidia Tendera

Journal of Logic and Computation, no. 6 (2019): 881-911

Cited by1EIBibtex

Quine's Fluted Fragment is Non-Elementary.

Ian Pratt-Hartmann,Wieslaw Szwast,Lidia Tendera

CSL, pp.39:1-39:21, (2016)

Cited by8EIBibtex

FO^2 with one transitive relation is decidable.

Wieslaw Szwast,Lidia Tendera

STACS, pp.317-328, (2013)

Cited by34EIBibtex

On the Decision Problem for the Guarded Fragment with Transitivity

Wieslaw Szwast,Lidia Tendera

LICS, pp.147-147, (2001)

Cited by24EIBibtex

Complexity of Two-Variable Logic with Counting

Leszek Pacholski,Wieslaw Szwast,Lidia Tendera

LICS, pp.318-318, (1997)

Cited by105EIBibtex

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

Int. J. Found. Comput. Sci., no. 4 (1995): 339-351

EIBibtex

On the generator problem

Math. Log. Q., no. 1 (1990): 23-27

EIBibtex

View All

Base Info Papers Patents Projects