Pages that link to "Item:Q2736585"
From MaRDI portal
The following pages link to On the Unusual Effectiveness of Logic in Computer Science (Q2736585):
Displaying 6 items.
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language (Q2947456) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
