Searching for authors named "Serenella Cerrito" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Herbrand Methods in Sequent Calculi: Unification in LL
- …Herbrand Methods in Sequent Calculi : unification in LL Serenella Cerrito L…
- Cited by 5 (2 self) – Add To MetaCart
-
Pattern Matching as Cut Elimination
- …Pattern Matching as Cut Elimination Serenella Cerrito Delia Kesner Abstract We present typed…
- Cited by 6 (1 self) – Add To MetaCart
-
A Polynomial Translation of S4 into T and Contraction--Free Tableaux for S4
- …A Polynomial Translation of S4 into T and Contraction--Free Tableaux for S4 SERENELLA CERRITO…
- Add To MetaCart
-
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
- …Marta Cialdea Mayer Serenella Cerrito Ground and Free-Variable Tableaux for Variants of Quantied…
- Add To MetaCart
-
Using Linear Temporal Logic to Model and Solve Planning Problems
- …Using Linear Temporal Logic to Model and Solve Planning Problems Serenella Cerrito 1 and Marta…
- Cited by 10 (5 self) – Add To MetaCart
-
A polynomial translation of S4 into T and contraction-free tableaux for S4
- …A polynomial translation of S4 into T and contraction--free tableaux for S4 Serenella Cerrito 1…
- Cited by 5 (0 self) – Add To MetaCart
-
Variants of First-Order Modal Logics
- …Variants of First-Order Modal Logics Marta Cialdea Mayer 1 and Serenella Cerrito 2 1 Universita…
- Cited by 3 (2 self) – Add To MetaCart
-
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-Rigid Designation
- …-Rigid Designation Serenella Cerrito 1 and Marta Cialdea Mayer 2 1 Universite de Paris-Sud, L.R.I. 2…
- Cited by 3 (1 self) – Add To MetaCart
-
A Prefixed Tableau Calculus for Plan Generation in Linear Temporal Logic
- … Serenella Cerrito y , Marta Cialdea Mayer z RT-DIA-24-1997 May 1997 y Universit'e de Paris-Sud, LRI, Bat…
- Cited by 1 (1 self) – Add To MetaCart
-
A Study on Transitive Modal Logics
- …A study on transitive modal logics Serenella Cerrito 1 and Marta Cialdea Mayer 2? 1 Universit…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
