E-LIB Suche - Ergebnisse für: Lambán, Laureano

1

Evasiveness Through Binary Decision Diagrams:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Aransay, Jesús ; Lambán, Laureano ; Rubio, Julio - p. 37-52 , 2023

Link: https://doi.org/10.1007/..

2

A new method to h-regularize finite topological spaces:

Cuevas-Rozo, Julián ; Lambán, Laureano ; Romero, Ana.
Discrete Mathematics. 346 (2023) 12 - p. 113636 , 2023

Link: https://doi.org/10.1016/..

3

Effective homological computations on finite topological sp..:

Cuevas-Rozo, Julián ; Lambán, Laureano ; Romero, Ana.
Applicable Algebra in Engineering, Communication and Computing. 34 (2020) 1 - p. 33-56 , 2020

Link: https://doi.org/10.1007/..

4

Certified symbolic manipulation : bivariate simplicial p..:

, In: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation,

Lambán, Laureano ; Martín-Mateos, Francisco J. ; Rubio, Julio. - p. 243-250 , 2013

Link: https://dl.acm.org/doi/1..

5

Formalization of a normalization theorem in simplicial topo..:

Lambán, Laureano ; Martín–Mateos, Francisco-Jesús ; Rubio, Julio.
Annals of Mathematics and Artificial Intelligence. 64 (2012) 1 - p. 1-37 , 2012

Link: https://doi.org/10.1007/..

6

On bornologies, locales and toposes of M-sets:

Español, Luis ; Lambán, Laureano
Journal of Pure and Applied Algebra. 176 (2002) 2-3 - p. 113-125 , 2002

Link: https://doi.org/10.1016/..

7

A tensor-hom adjunction in a topos related to vector topolo..:

Español, Luis ; Lambán, Laureano
Journal of Pure and Applied Algebra. 154 (2000) 1-3 - p. 143-158 , 2000

Link: https://doi.org/10.1016/..

8

Specifying implementations:

, In: Proceedings of the 1999 international symposium on Symbolic and algebraic computation,

Lambán, Laureano ; Pascual, Vico ; Rubio, Julio - p. 245-251 , 1999

Link: https://dl.acm.org/doi/1..

9

A new method to h-regularize finite topological spaces:

Cuevas-Rozo, Julián ; Lambán, Laureano ; Romero, Ana...
info:eu-repo/semantics/altIdentifier/doi/10.1016/J.DISC.2023.113636. , 2023

Link: https://investigacion.un..

10

Towards Diagrammatic Specifications of Symbolic Computation..:

Duval, Dominique ; Lamban, Laureano ; Rubio Garcia, Julio
doi:10.4230/DagSemProc.05021.22. , 2006

Link: https://doi.org/10.4230/..

11

On bornologies, locales and toposes of M -sets:

Español, Luis ; Lambán, Laureano
info:eu-repo/semantics/altIdentifier/doi/10.1016/S0022-4049(02)00047-6. , 2002

Link: https://investigacion.un..

12

A tensor-hom adjunction in a topos related to vector topolo..:

Español, Luis ; Lambán, Laureano
info:eu-repo/semantics/altIdentifier/doi/10.1016/S0022-4049(99)00188-7. , 2000

Link: https://investigacion.un..

13

Q-learning and MCTS techniques for improving an algorithm t..:

Julián Cuevas-Rozo ; Jose Divasón ; Laureano Lambán.
info:eu-repo/semantics/altIdentifier/eissn/2791-4267. , 2021

Link: https://investigacion.un..

14

Towards a verifiable topology of data:

Lambán Pardo, Laureano ; Martín Mateos, Francisco Jesús ; Rubio, Julio.
EACA 2016: XV Encuentro de álgebra computacional y aplicaciones (2016), pp. 113-116.. , 2021

Link: https://idus.us.es/handl..

15

Topología simplicial en ACL2:

Lambán Pardo, Laureano ; Martín Mateos, Francisco Jesús ; Ruiz Reina, José Luis...
Contribuciones científicas en honor de Mirian Andrés Gómez. , 2021

Link: https://idus.us.es/handl..