BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:
M.C.Mayer ∅ D.Kesner A.David V.Goranko
Talks about:
logic (4) tableaux (2) rigid (2) quantifi (1) procedur (1) herbrand (1) constant (1) variabl (1) tableau (1) sequent (1)

Person: Serenella Cerrito

DBLP DBLP: Cerrito:Serenella

Contributed to:

IJCAR 20142014
IJCAR 20102010
IJCAR 20012001
LICS 19991999
JICSLP 19921992
LICS 19901990

Wrote 6 papers:

IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
IJCAR-2010-MayerC #hybrid #logic #proving
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
IJCAR-2001-CerritoM #logic #quantifier
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
LICS-1999-CerritoaK #pattern matching
Pattern Matching as Cut Elimination (SC, DK), pp. 98–108.
JICSLP-1992-Cerrito #calculus #ll #unification
Herbrand Methods in Sequent Calculi: Unification in LL (SC), pp. 607–621.
LICS-1990-Cerrito #linear #logic programming #semantics #source code
A Linear Semantics for Allowed Logic Programs (SC), pp. 219–227.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.