Library collection
Database :
article
Search on :
LAVALLE MARTINEZ, JOSE DE JESUS [Author]
References found :
2
[
refine
]
Displaying:
1 .. 2
in format [
ISO 690
]
page 1 of 1
1 / 2
select
to print
Suárez Polo, Axel, Lavalle Martínez, José de Jesús and Molina Rebolledo, Iván
Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions
.
Comp. y Sist.
, Mar 2023, vol.27, no.1, p.333-340. ISSN 1405-5546
·
abstract in english
·
text in english
2 / 2
select
to print
Moyao Martínez, Yolanda et al.
Problema de membresía con matriz de adyacencia
.
Comp. y Sist.
, Set 2021, vol.25, no.3, p.523-535. ISSN 1405-5546
·
abstract in spanish
|
english
·
text in spanish
page 1 of 1
Refine the search
Database :
article
Advanced form
Search for :
Free form
Basic form
Search
in field
1
All indexes
Title words
Author
Subject
Abstract
Publication year
2
and
or
and not
All indexes
Title words
Author
Subject
Abstract
Publication year
3
and
or
and not
All indexes
Title words
Author
Subject
Abstract
Publication year
Search engine:
iAH
powered by
WWWISIS
BIREME/PAHO/WHO - Latin American and Caribbean Center on Health Sciences Information