( en | de | ru )

 

Disambiguierung von "Cerrito, Serenella"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Linear Logic Approach to Consistency Preserving Updates.

, , und . J. Log. Comput., 6 (3): 439-463 (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefano Cerrito

 

Weitere Publikationen von Autoren mit dem selben Namen

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