( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A program computing the homology groups of loops spaces.

, и . SIGSAM Bull., 25 (4): 20-24 (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ignacio Rubio

Felipe Rubio

Jordi Rubió i Coromina Universitat de Barcelona

Mónica Rubiolo González

Miguel Rubio

 

Другие публикации лиц с тем же именем

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System., , и . LOPSTR, том 6564 из Lecture Notes in Computer Science, стр. 37-51. Springer, (2010)Obtaining an ACL2 Specification from an Isabelle/HOL Theory., , , , , , и . AISC, том 8884 из Lecture Notes in Computer Science, стр. 49-63. Springer, (2014)ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System., , и . Calculemus/MKM, том 5625 из Lecture Notes in Computer Science, стр. 106-121. Springer, (2009)Specifying Implementations., , и . ISSAC, стр. 245-251. ACM, (1999)Generative Communication with Semantic Matching in Distributed Heterogeneous Environments., , , , и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 231-242. Springer, (2003)Evasiveness Through Binary Decision Diagrams., , и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 37-52. Springer, (2023)Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy., , , , и . MKM/Calculemus/DML, том 7961 из Lecture Notes in Computer Science, стр. 66-81. Springer, (2013)An implementation of effective homotopy of fibrations., , и . J. Symb. Comput., (2019)Certified symbolic manipulation: bivariate simplicial polynomials., , , и . ISSAC, стр. 243-250. ACM, (2013)Zigzag persistent homology for processing neuronal images., , , и . Pattern Recognit. Lett., (2015)