The following pages link to Paweł Urzyczyn (Q332079):
Displaying 13 items.
- (Q4738227) (← links)
- The emptiness problem for intersection types (Q4934035) (← links)
- (Q4993851) (← links)
- Kripke Semantics for Intersection Formulas (Q5034223) (← links)
- (Q5184368) (← links)
- Restricted Positive Quantification Is Not Elementary (Q5277980) (← links)
- How Hard Is Positive Quantification? (Q5278190) (← links)
- Computer Science Logic (Q5311282) (← links)
- (Q5435638) (← links)
- Types for Proofs and Programs (Q5712324) (← links)
- Automata, Languages and Programming (Q5716767) (← links)
- On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892211) (← links)
- On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381) (← links)