Access count of this item: 197

Files in This Item:
File Description SizeFormat 
1442-6.pdf476.2 kBAdobe PDFView/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.author竹内, 泉ja
dc.contributor.alternativeTakeuti, Izumija
dc.date.accessioned2007-09-11T07:09:50Z-
dc.date.available2007-09-11T07:09:50Z-
dc.date.issued2005-07ja
dc.identifier.issn1880-2818ja
dc.identifier.urihttp://hdl.handle.net/2433/47576-
dc.language.isojpnja
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410ja
dc.title並列合成の論理演算を持つ論理体系 (証明論と計算論)ja
dc.type.niitypeDepartmental Bulletin Paperja
dc.identifier.ncidAN00061013ja
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1442ja
dc.identifier.spage76ja
dc.identifier.epage82ja
dc.textversionpublisherja
dc.sortkey06ja
Appears in Collections:Proof Theory and Computation Theory

Show simple item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.