( en | de | ru )

 

Disambiguation of "Lambán, Laureano"

Author of the publication

copydeleteadd this publication to your clipboard
Specifying Implementations.

, , and . ISSAC, page 245-251. ACM, (1999)

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

Formalizing Alexander duality through BDDs., , , and . ISAIM, (2022)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)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)Obtaining an ACL2 Specification from an Isabelle/HOL Theory., , , , , , and . AISC, volume 8884 of Lecture Notes in Computer Science, page 49-63. Springer, (2014)Specifying Implementations., , and . ISSAC, page 245-251. ACM, (1999)Certified symbolic manipulation: bivariate simplicial polynomials., , , and . ISSAC, page 243-250. ACM, (2013)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)Evasiveness Through Binary Decision Diagrams., , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 37-52. Springer, (2023)