The following pages link to Parsing as non-Horn deduction (Q688151):
Displaying 7 items.
- Horn style deduction relation (Q1267220) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- Deduction in non-Horn databases (Q1819951) (← links)
- An unrealistic parser (Q3805935) (← links)
- Applying SLD-Resolution to a Class of Non-Horn Logic Programs (Q4318172) (← links)
- Parsing with derivatives (Q5176976) (← links)
- Parsing MELL proof nets (Q5940925) (← links)