Article dans une revue, Artificial Intelligence, Computer Science, Intelligence artificielle

On the consistency problem for the INDU calculus

Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. On the consistency problem for the INDU calculus. Journal of Applied Logic, 2006, Special issue: TIME-ICTL 2003, 4 (2), pp.119-140. ⟨10.1016/j.jal.2005.06.002⟩. ⟨hal-03300285⟩

Published on