Travelled to:
1 × Canada
Collaborated with:
J.Condotta
Talks about:
calculus (1) axiomat (1) interv (1) cyclic (1)
Person: Gérard Ligozat
DBLP: Ligozat:G=eacute=rard
Contributed to:
Wrote 1 papers:
- KR-2004-CondottaL #axiom #calculus
- Axiomatizing the Cyclic Interval Calculus (JFC, GL), pp. 95–105.