Pages that link to "Item:Q5897796"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897796):
Displayed 11 items.
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- A focused approach to combining logics (Q639671) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Structural Focalization (Q2946730) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- TCC, with History (Q5418978) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)