BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × The Netherlands
1 × USA
Collaborated with:
L.Tendera L.Pacholski I.Pratt-Hartmann
Talks about:
fragment (2) elementari (1) existenti (1) variabl (1) transit (1) sentenc (1) problem (1) complex (1) second (1) order (1)

Person: Wieslaw Szwast

DBLP DBLP: Szwast:Wieslaw

Contributed to:

LICS 20012001
LICS 19971997
LICS 19911991
CSL 20162016

Wrote 4 papers:

LICS-2001-SzwastT #on the #problem #transitive
On the Decision Problem for the Guarded Fragment with Transitivity (WS, LT), pp. 147–156.
LICS-1997-PacholskiST #complexity #logic
Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
LICS-1991-PacholskiS #higher-order #on the #similarity
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality (LP, WS), pp. 280–285.
CSL-2016-Pratt-HartmannS
Quine's Fluted Fragment is Non-Elementary (IPH, WS, LT), p. 21.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.