Travelled to:
1 × Czech Republic
Collaborated with:
N.Olivetti C.Schwind D.Tishkovsky
Talks about:
tableau (1) minspac (1) calculi (1) csl (1)
Person: Régis Alenda
DBLP: Alenda:R=eacute=gis
Contributed to:
Wrote 1 papers:
- CSL-2010-AlendaOST #calculus
- Tableau Calculi for CSL over minspaces (RA, NO, CS, DT), pp. 52–66.