The following pages link to (Q4473165):
Displaying 5 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Extracting schema from an OEM database (Q1130170) (← links)
- Wrapper induction: Efficiency and expressiveness (Q1978784) (← links)
- Boolean operations and inclusion test for attribute-element constraints (Q2503331) (← links)
- Static and dynamic semantics of NoSQL languages (Q2931787) (← links)