Pages that link to "Item:Q1924787"
From MaRDI portal
The following pages link to On computability by logic programs (Q1924787):
Displaying 11 items.
- Martin Davis on computability, computational logic, and mathematical foundations (Q505399) (← links)
- On abstract resource semantics and computability logic (Q980944) (← links)
- Solving problems on finite concrete logics with the help of a PC (Q1266019) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- On the system CL12 of computability logic (Q2941766) (← links)
- (Q3221399) (← links)
- (Q3827989) (← links)
- (Q4029601) (← links)
- (Q4437809) (← links)
- On the Floyd–Warshall algorithm for logic programs (Q4719377) (← links)
- Propositional computability logic II (Q5277751) (← links)