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 × France
1 × Poland
1 × The Netherlands
1 × USA
Collaborated with:
W.Szwast W.Charatonik M.Wejman L.Tendera
Talks about:
equal (2) microcomput (1) constraint (1) existenti (1) variabl (1) sentenc (1) ergonom (1) complex (1) system (1) second (1)

Person: Leszek Pacholski

DBLP DBLP: Pacholski:Leszek

Contributed to:

LICS 19971997
LICS 19941994
HCI v1 19931993
LICS 19911991

Wrote 4 papers:

LICS-1997-PacholskiST #complexity #logic
Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
LICS-1994-CharatonikP #constraints #set #similarity
Negative Set Constraints with Equality (WC, LP), pp. 128–136.
HCI-ACS-1993-PacholskiW #evaluation #formal method #modelling
Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems (LP, MW), pp. 1029–1032.
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.

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.