The following pages link to Andrzej Biela (Q1092654):
Displayed 23 items.
- Item:Q1092654 (redirect page) (← links)
- Parsing as non-Horn deduction (Q688151) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Constant-only multiplicative linear logic is NP-complete (Q1342254) (← links)
- The liberalized \(\delta\)-rule in free variable semantic tableaux (Q1344882) (← links)
- RETRPROV. A system that looks for axioms (Q2565056) (← links)
- (Q2757280) (← links)
- (Q3216134) (← links)
- (Q3322076) (← links)
- (Q3659757) (← links)
- (Q3674615) (← links)
- (Q3709842) (← links)
- (Q3709843) (← links)
- (Q3905258) (← links)
- (Q3916561) (← links)
- (Q3944576) (← links)
- (Q4055954) (← links)
- (Q4075437) (← links)
- (Q4182718) (← links)
- (Q4271916) (← links)
- (Q4318615) (← links)
- (Q4774012) (← links)
- (Q4884581) (← links)