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 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
S.Cerrito ∅
Talks about:
logic (3) hybrid (2) rigid (2) hierarchi (1) tableaux (1) quantifi (1) procedur (1) constant (1) variabl (1) transit (1)

Person: Marta Cialdea Mayer

DBLP DBLP: Mayer:Marta_Cialdea

Contributed to:

CADE 20132013
IJCAR 20102010
IJCAR 20012001

Wrote 3 papers:

CADE-2013-Mayer #hybrid #logic #proving #transitive
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (MCM), pp. 76–90.
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.
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.