The following pages link to (Q2767044):
Displaying 14 items.
- Don't care non-determinism in logic program refinement (Q2841262) (← links)
- (Q2933402) (← links)
- Semantics Out of Context (Q3177798) (← links)
- (Q3567766) (← links)
- (Q4428887) (← links)
- (Q4493877) (← links)
- (Q4544362) (← links)
- Axiomatization of a Denotational Semantics for First-order Logic (Q4659577) (← links)
- (Q4789454) (← links)
- An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics (Q4821651) (← links)
- (Q5184905) (← links)
- Computer Science Logic (Q5292665) (← links)
- Theoretical Computer Science (Q5897361) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)