An Applicative Theory for Fph

AuthID
 P-00J-60T
2
Author(s)
3
Editor(s)
Bakel,Sv;Berardi,S;Berger,U
Document Type
Proceedings Paper
Year published
2010
Published
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, Pages: 44-56
Conference
3Rd International Workshop on Classical Logic and Computation, Clac 2010, Date: 21 August 2010 through 22 August 2010
Indexing
Scopus®
Dblp®/en/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
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service