The following pages link to (Q4499219):
Displaying 10 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Corrigendum: On infinite computations in denotational semantics (Q789892) (← links)
- Completeness issues in RUE-NRF deduction: The undecidability of viability (Q1311402) (← links)
- On denotational completeness (Q1575869) (← links)
- Expressive completeness and decidability (Q2277437) (← links)
- Syntactic characterizations of completeness using duals and operators (Q2903761) (← links)
- (Q3466593) (← links)
- The Smyth Completion (Q4222778) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Programming Languages and Systems (Q5308686) (← links)