Skip to content
cs-conference-ranking.org

Leszek Pacholski

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

5

Active years

1989–1998

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
1998MFCSTarskian Set Constraints Are in NEXPTIME.Pawel Mielniczuk, Leszek Pacholski
1997CPSet Constraints: A Pearl in Research on Constraints.Leszek Pacholski, Andreas Podelski
1997LICSComplexity of Two-Variable Logic with Counting.Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
1994FOCSSet constraints with projections are in NEXPTIMEWitold Charatonik, Leszek Pacholski
1994LICSNegative Set Constraints with EqualityWitold Charatonik, Leszek Pacholski
1993HCIFormal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems.Leszek Pacholski, Malgorzata Wejman
1992FOCSUndecidability of the Horn-Clause Implication ProblemJerzy Marcinkowski, Leszek Pacholski
1991LICSOn the 0-1 Law for the class of Existential Second Order Minimal Gdel Sentences with EqualityLeszek Pacholski, Wieslaw Szwast
1990FOCSComplexity of Unification in Free Groups and Free Semi-groupsAntoni Koscielski, Leszek Pacholski
1989FOCSThe 0-1 Law Fails for the Class of Existential Second Order Gdel Sentences with EqualityLeszek Pacholski, Wieslaw Szwast