A Foundation for Real Recursive Function Theory

AuthID
 P-003-FWZ
3
Author(s)
Tipo de Documento
Article
Year published
2009
Publicado
in ANNALS OF PURE AND APPLIED LOGIC, ISSN: 0168-0072
Volume: 160, Número: 3, Páginas: 255-288 (34)
Conference
3Rd Conference Cie 2007 - Computation and Logic in the Real World, Date: JUN, 2007, Location: Siena, ITALY, Patrocinadores: Interdisciplinary Assoc Computabil Europe, Host: Univ Siena
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/114591
Crossref®7
Google Scholar®
Publication Identifiers
DBLP: journals/apal/CostaLM09
SCOPUS: 2-s2.0-69249229730
Wos: WOS:000277397200004
Source Identifiers
ISSN: 0168-0072
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service