The following pages link to (Q4428289):
Displaying 8 items.
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- The complexity of propositional closed world reasoning and circumscription (Q1329160) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete (Q2367539) (← links)
- Multimodal logic programming (Q2503328) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- Attacking Fair-Exchange Protocols (Q2841217) (← links)
