PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cerrito, Serenella"

Author of the publication

copydeleteadd this publication to your clipboard
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique.

, , and . Proc. 15èmes Journées Bases de Données Avancées, BDA, page 283-301. Actes, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cerrito, Serenella
add a person with the name Cerrito, Serenella
 

Other publications of authors with the same name

A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4., and . Logic Journal of the IGPL, 5 (2): 287-300 (1997)Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics., and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 138-152. Springer, (1997)A General Theorem Prover for Quantified Modal Logics., , and . TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 266-280. Springer, (2002)Herbrand Methods in Sequent Calculi: Unification in LL.. JICSLP, page 607-621. MIT Press, (1992)A Linear Logic Approach to Consistency Preserving Updates., , and . J. Log. Comput., 6 (3): 439-463 (1996)Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+., , and . ACM Trans. Comput. Log., 17 (1): 4:1-4:34 (2015)Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic., and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 255-262. Springer, (2010)A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders., and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 104-118. Springer, (2011)Bounded Model Search in Linear Temporal Logic and Its Application to Planning., and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 124-140. Springer, (1998)Using Linear Temporal Logic to Model and Solve Planning Problems., and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 141-152. Springer, (1998)