Pages that link to "Item:Q3550912"
From MaRDI portal
The following pages link to atalog: A logic language for expressing search and optimization problems (Q3550912):
Displaying 4 items.
- NP Datalog (Q25360) (← links)
- NP-SPEC: An executable specification language for solving all problems in NP (Q2755406) (← links)
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks (Q2835878) (← links)
- Using linear constraints for logic program termination analysis (Q4593032) (← links)