The following pages link to Carlo Sartiani (Q964805):
Displayed 10 items.
- (Q391128) (redirect page) (← links)
- Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking (Q391129) (← links)
- Efficient inclusion for a class of XML types with interleaving and counting (Q964806) (← links)
- Negation-closure for JSON schema (Q2697439) (← links)
- Almost-linear inclusion for XML regular expression types (Q2943542) (← links)
- Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation (Q5012584) (← links)
- (Q5091263) (← links)
- Types for path correctness of XML queries (Q5178031) (← links)
- Static analysis for path correctness of XML queries (Q5482283) (← links)
- Database Programming Languages (Q5493333) (← links)