Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Jaime da Gama Gaspar
AuthID:
R-00H-T0S
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Article (1)
Year Start - End:
2018
2019
-
2019
2018
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 1
1
TITLE:
Intuitionistic nonstandard bounded modified realisability and functional interpretation
Full Text
AUTHORS:
Bruno Dinis;
Jaime Gaspar
;
SOURCE:
ANNALS OF PURE AND APPLIED LOGIC,
VOLUME:
169,
ISSUE:
5,
PUBLISHED:
2018
INDEXED IN:
Scopus
WOS
CrossRef
:
1
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
© 2019 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service