Repository | People

150054

References

Claude Kirchner

Bibliography ¹Export

(2000-2009)

Completion is an instance of abstract canonical system inference

2006

with Burel Guillaume

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009

Style