Travelled to:
1 × Switzerland
Collaborated with:
M.Hermo P.Lucio M.Navarro F.Orejas
Talks about:
free (2) calculus (1) sequent (1) invari (1) pltl (1) cut (1)
Person: Joxe Gaintzarain
DBLP: Gaintzarain:Joxe
Contributed to:
Wrote 1 papers:
- CSL-2007-GaintzarainHLNO #calculus #invariant
- A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.