Axiomatization of local-global principle
β
V. Astier; M. Tressl
π
Article
π
2004
π
Springer
π
English
β 232 KB