Recursion Schemata for Nc(K)

AuthID
 P-007-P9C
4
Author(s)
Bonfante, G
·
Marion, JY
·
2
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®
Publication Identifiers
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.

A place for researchers and their institutions

Useful Links

Get Help

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