Searching for authors named Leszek Pacholski – sorted by Relevance.
-
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

