The following pages link to Leszek Pacholski (Q1127319):
Displayed 30 items.
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- Reduced products which are not saturated (Q1170180) (← links)
- The STO problem is NP-complete (Q1284283) (← links)
- A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality (Q1317435) (← links)
- Thue trees (Q1861534) (← links)
- (Q3011990) (← links)
- Set constraints with projections (Q3578206) (← links)
- (Q3804682) (← links)
- Homogeneous limit reduced powers (Q3960667) (← links)
- Asymptotic probabilities of existential second-order Gödel sentences (Q3984420) (← links)
- (Q4115144) (← links)
- Homogeneity, universality and saturatedness of limit reduced powers III (Q4124837) (← links)
- (Q4175536) (← links)
- (Q4218134) (← links)
- (Q4230359) (← links)
- (Q4266519) (← links)
- (Q4282591) (← links)
- Complexity of Makanin's algorithm (Q4371685) (← links)
- FUZZY LOGIC APPLICATION IN ERGONOMIC RENEWAL OF MULTIAGENT MANUFACTURING SYSTEMS (Q4779507) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- In Memoriam: Jerzy łoś 1920–1998 (Q4953236) (← links)
- Topologically compact structures and positive formulas (Q5575539) (← links)
- On countably compact reduced product I (Q5592279) (← links)
- (Q5596224) (← links)
- (Q5597511) (← links)
- (Q5602914) (← links)
- On countably universal Boolean algebras compact classes of models (Q5626649) (← links)
- On countably compact reduced products, III (Q5652670) (← links)
- On countably universal Boolean algebras compact classes of models (Q5658086) (← links)
- On compact classes of models (Q5668521) (← links)
