Artigos com autorizações de acesso público - Steven ObuaSaiba mais
1 artigo não disponível publicamente
Invariants, modularity, and rights
E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ...
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
Autorizações: German Research Foundation
4 artigos disponíveis publicamente
A formal proof of the Kepler conjecture
T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ...
Forum of mathematics, Pi 5, e2, 2017
Autorizações: US National Science Foundation
Importing hol into isabelle/hol
S Obua, S Skalberg
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
Autorizações: German Research Foundation
Partizan games in Isabelle/HOLZF
S Obua
International Colloquium on Theoretical Aspects of Computing, 272-286, 2006
Autorizações: German Research Foundation
Checking conservativity of overloaded definitions in higher-order logic
S Obua
International Conference on Rewriting Techniques and Applications, 212-226, 2006
Autorizações: German Research Foundation
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador