Pages that link to "Item:Q1915509"

The following pages link to A framework for testing safety and effective computability (Q1915509):

Displaying 4 items.

• Domain expansion for ASP-programs with external sources (Q254002) (← links)
• Maintaining distributed logic programs incrementally (Q456472) (← links)
• Checking termination of bottom-up evaluation of logic programs with function symbols (Q4593017) (← links)
• Using acceptors as transducers (Q5958726) (← links)