Publications

Recursion Schemata for Nc(K)

AuthID
P-007-P9C

Author(s)

Bonfante, G

Kahle, R

Marion, JY

Oitavem, I

Editor(s)

Kaminski,M;Martini,S

Document Type

Proceedings Paper

Year published

2008

Published

in COMPUTER SCIENCE LOGIC, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5213, Pages: 49-63 (15)

Conference

22Nd International Workshop on Computer Science Logic/17Th Annual Conference of the European-Association-For-Computer-Science-Logic, Date: SEP 16-19, 2008, Location: Bertinoro, ITALY, Sponsors: GNSAGA, AILA

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/252204

Crossref^®2

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-87531-46

Dblp: conf/csl/BonfanteKMO08

Scopus: 2-s2.0-57849123717

Wos: WOS:000261091200005

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Recursion Schemata for Nc(K)

Useful Links

Get Help

Federated Authentication (Click on the image)

Recursion Schemata for Nc(K)

Useful Links

Get Help