Searching for authors named Leszek Pacholski – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Tarskian Set Constraints are in NEXPTIME
- …Tarskian Set Constraints are in NEXPTIME ? Pawel Mielniczuk and Leszek Pacholski Institute…
- Cited by 3 (0 self) – Add To MetaCart
-
Set constraints with projections are in NEXPTIME
- …Set constraints with projections are in NEXPTIME Witold Charatonik y Leszek Pacholski z CRIN…
- Cited by 30 (10 self) – Add To MetaCart
-
Negative Set Constraints With Equality
- …Negative set constraints with equality Witold Charatonik y Leszek Pacholski z Institute…
- Cited by 31 (10 self) – Add To MetaCart
-
Set Constraints: a Pearl in Research on Constraints
- …Set Constraints: a Pearl in Research on Constraints Leszek Pacholski 1 and Andreas Podelski 2 1…
- Cited by 29 (4 self) – Add To MetaCart
-
Complexity Results for First-Order Two-Variable Logic with Counting
- …Complexity Results for First-Order Two-Variable Logic with Counting Leszek Pacholski Institute…
- Cited by 19 (1 self) – Add To MetaCart
-
Ezy Mnogo'sciowe W Pewnych Teoriach R'owno'sciowych
- … Polskiej Akademii Nauk promotor: Leszek Pacholski Wroc/law, Set Constraints in Some Equational Theories…
- Add To MetaCart
-
Specyfikacja I Optymalizacja Programw W
- …: Prof. Leszek Pacholski Instytut Informatyki Uniwersytet Wrocl/awski ul. Przesmyckiego 20 51--151 Wrocl…
- Add To MetaCart
-
Praca doktorska
- …: Prof. Leszek Pacholski Instytut Informatyki Uniwersytet Wroc̷lawski ul. Joliot-Curie 15 50-383 Wroc…
- Add To MetaCart
Showing 1 through 8.
