Travelled to:1 × Denmark
1 × Poland
1 × United Kingdom
Collaborated with:D.Galmiche D.J.Pym
Talks about:connect (2) base (2) intuitionist (1) character (1) tableaux (1) proposit (1) resourc (1) search (1) valid (1) proof (1)
Person: Daniel Méry
DBLP: M=eacute=ry:Daniel
Contributed to:
20112002
2002Wrote 3 papers:
- CADE-2011-GalmicheM
- A Connection-Based Characterization of Bi-intuitionistic Validity (DG, DM), pp. 268–282.
- CADE-2002-GalmicheM #logic #proving
- Connection-Based Proof Search in Propositional BI Logic (DG, DM), pp. 111–128.
- CSL-2002-GalmicheMP
- Resource Tableaux (DG, DM, DJP), pp. 183–199.