BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
Collaborated with:
P.Fontaine C.Ringeissen
Talks about:
disjoint (2) combin (2) non (2) procedur (1) function (1) satisfi (1) revisit (1) theori (1) method (1) polit (1)

Person: Paula Chocron

DBLP DBLP: Chocron:Paula

Contributed to:

CADE 20152015
IJCAR 20142014

Wrote 2 papers:

CADE-2015-ChocronFR #revisited
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (PC, PF, CR), pp. 419–433.
IJCAR-2014-ChocronFR #satisfiability
A Gentle Non-disjoint Combination of Satisfiability Procedures (PC, PF, CR), pp. 122–136.

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.