Detalles de la búsqueda
1.
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
J Autom Reason
; 64(4): 699-735, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32269396
2.
A Verified Implementation of Algebraic Numbers in Isabelle/HOL.
J Autom Reason
; 64(3): 363-389, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32226180
3.
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
J Autom Reason
; 64(5): 827-856, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32831440
4.
Relative Termination via Dependency Pairs.
J Autom Reason
; 58(3): 391-411, 2017.
Artículo
en Inglés
| MEDLINE | ID: mdl-30174365
5.
Fornix and conjunctiva reconstruction by amniotic membrane in a patient with conjunctival mucosa-associated lymphoid tissue lymphoma.
Jpn J Ophthalmol
; 46(3): 346-8, 2002.
Artículo
en Inglés
| MEDLINE | ID: mdl-12063048
6.
Stereoselective synthesis of bicyclo[3.1.1]heptane derivatives via intramolecular photocycloaddition reaction.
Nat Prod Commun
; 7(4): 459-62, 2012 Apr.
Artículo
en Inglés
| MEDLINE | ID: mdl-22574441
7.
Anion binding to a ferric porphyrin complexed with per-O-methylated beta-cyclodextrin in aqueous solution.
J Am Chem Soc
; 126(46): 15202-10, 2004 Nov 24.
Artículo
en Inglés
| MEDLINE | ID: mdl-15548017
8.
cDNA cloning of the Sry-related gene Sox6 from rat with tissue-specific expression.
Biol Pharm Bull
; 25(6): 705-9, 2002 Jun.
Artículo
en Inglés
| MEDLINE | ID: mdl-12081133
Resultados
1 -
8
de 8
1
Próxima >
>>