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: Pacholski:Leszek
Contributed to:
19971994
19931991Wrote 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.