Pages that link to "Item:Q3983122"
From MaRDI portal
The following pages link to A linear control algorithm for a class of rule-based systems (Q3983122):
Displaying 7 items.
- Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
- Controlling backward inference (Q1123001) (← links)
- A linear algorithm for renaming a set of clauses as a Horn set (Q1318709) (← links)
- A fast consequence recognition algorithm for monadic logical programs (Q1778352) (← links)
- Algorithms for solution inference based on unified logical control models (Q2215283) (← links)
- Properties of the bucket brigade algorithm (Q3830544) (← links)
- (Q4267182) (← links)