The following pages link to (Q3032237):
Displaying 8 items.
- Mind change complexity of learning logic programs (Q1603595) (← links)
- On some decision problems in programming (Q1900317) (← links)
- Systems and Implementations for Solving Reasoning Problems in Conditional Logics (Q2807073) (← links)
- (Q3220555) (← links)
- Decidable problems for powerful programs (Q3766814) (← links)
- (Q3827989) (← links)
- (Q4362919) (← links)
- Two decision problems in Contact Logics (Q5241914) (← links)