An Applicative Theory for Fph

AuthID
 P-00J-60T
2
Author(s)
3
Editor(es)
Bakel,Sv;Berardi,S;Berger,U
Tipo de Documento
Proceedings Paper
Year published
2010
Publicado
in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. in EPTCS, ISSN: 2075-2180
Volume: 47, Páginas: 44-56
Conference
3Rd International Workshop on Classical Logic and Computation, Clac 2010, Date: 21 August 2010 through 22 August 2010
Indexing
Scopus®
Dblp®/pt/publications/view/595994
Crossref®
Arxiv®
Google Scholar®
Publication Identifiers
Arxiv: 1101.5444
DBLP: journals/corr/abs-1101-5444
SCOPUS: 2-s2.0-84875253099
Source Identifiers
ISSN: 2075-2180
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