Travelled to:1 × Austria
Collaborated with:N.Olivetti
Talks about:implement (1) sequent (1) nescond (1) calculi (1) condit (1) logic (1) nest (1)
Person: Gian Luca Pozzato
DBLP: Pozzato:Gian_Luca
Contributed to:
2014Wrote 1 papers:
- IJCAR-2014-OlivettiP #calculus #implementation #logic #named
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.