Library collection
Database :
article
Search on :
MIRANDA-PEREA, FAVIO E. [Author]
References found :
2
[
refine
]
Displaying:
1 .. 2
in format [
ISO 690
]
page 1 of 1
1 / 2
select
to print
Miranda-Perea, Favio E., Estrada Zavaleta, Ximena and González Huesca, Lourdes del Carmen
Fitch-Style Modal Necessity as a Substructural Sequent-Style System
.
Comp. y Sist.
, Mar 2023, vol.27, no.1, p.315-326. ISSN 1405-5546
·
abstract in english
·
text in english
2 / 2
select
to print
Miranda-Perea, Favio E., Omaña Silva, Sammantha and González Huesca, Lourdes del Carmen
A Dual-Context Sequent Calculus for
S
4
Modal Lambda-Term Synthesis
.
Comp. y Sist.
, June 2022, vol.26, no.2, p.787-799. ISSN 1405-5546
·
abstract in english
·
text in english
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