Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems. (English) Zbl 1435.68077 Inf. Comput. 271, Article ID 104485, 38 p. (2020). MSC: 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Demri, Stéphane; D’Souza, Deepak An automata-theoretic approach to constraint LTL. (English) Zbl 1113.03015 Inf. Comput. 205, No. 3, 380-415 (2007). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B44 03B70 68Q60 03D05 03B25 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Demri, Stéphane; Lazić, Ranko; Nowak, David On the freeze quantifier in Constraint LTL: Decidability and complexity. (English) Zbl 1116.03014 Inf. Comput. 205, No. 1, 2-24 (2007). MSC: 03B44 03B25 68Q17 68Q25 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI HAL