The following pages link to Computer Science Logic (Q5311271):
Displaying 16 items.
- Truth-value semantics and functional extensions for classical logic of partial terms based on equality (Q740205) (← links)
- Introduction to Turing categories (Q998306) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- EQ-logics with delta connective (Q2805866) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- (Q3024911) (← links)
- (Q3433180) (← links)
- (Q4133596) (← links)
- (Q4412859) (← links)
- (Q4855295) (← links)