Repository | Directory | Profile
References
Claude Kirchner
Completion is an instance of abstract canonical system inference
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Repository | Directory | Profile
Completion is an instance of abstract canonical system inference
2006
in: Algebra, meaning, and computation, Dordrecht : Springer