( en | de | ru )

 

Disambiguation of "Lambán, Laureano"

Author of the publication

copydeleteadd this publication to your clipboard
Effective homological computations on finite topological spaces.

, , , and . Appl. Algebra Eng. Commun. Comput., 34 (1): 33-56 (2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

Laureano Receado Paulo

Laureano Vilalta Mata

 

Other publications of authors with the same name

Executing in Common Lisp, Proving in ACL2., , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 1-12. Springer, (2007)Hidden Specification of a Functional System., , , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 555-569. Springer, (2001)Simplicial sets in the EAT system., , and . SIGSAM Bull., 33 (3): 17 (1999)Object oriented institutions to specify symbolic computation systems., , and . RAIRO Theor. Informatics Appl., 41 (2): 191-214 (2007)Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials., , , and . ITP, volume 6898 of Lecture Notes in Computer Science, page 200-215. Springer, (2011)Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms., , , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 354-370. Springer, (2017)Formalization of a normalization theorem in simplicial topology., , , and . Ann. Math. Artif. Intell., 64 (1): 1-37 (2012)A new method to h-regularize finite topological spaces., , , and . Discret. Math., 346 (12): 113636 (December 2023)Towards Diagrammatic Specifications of Symbolic Computation Systems., , , and . Mathematics, Algorithms, Proofs, volume 05021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Obtaining an ACL2 Specification from an Isabelle/HOL Theory., , , , , , and . AISC, volume 8884 of Lecture Notes in Computer Science, page 49-63. Springer, (2014)