- Publications
- Search
- Statistics
An Applicative Theory for Fph
AuthID
P-00J-60T
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
Publication Identifiers
DOI: 10.4204/eptcs.47.6
Arxiv: 1101.5444
Dblp: journals/corr/abs-1101-5444
Scopus: 2-s2.0-84875253099
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Publication Export Settings
Marked List
Info
At this moment we don't have any links to full text documens.