Guillaume Burel
monographs X
1 Publications
Completion is an instance of abstract canonical system inference
2006
in: Algebra, meaning, and computation, Berlin,
1 Publications
1 Publications
in: Algebra, meaning, and computation, Berlin,
1 Publications