An extension to predicate logic of $lambdarho$-calculus (Logics, Algebras and Languages in Computer Science)

このアイテムのアクセス数: 80

http://hdl.handle.net/2433/223315

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1915-01.pdf		526.71 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	山川, 郁加	ja
dc.contributor.author	古森, 雄一	ja
dc.contributor.alternative	Yamakawa, Fumika	en
dc.contributor.alternative	Komori, Yuichi	en
dc.contributor.transcription	ヤマカワ, フミカ	ja
dc.contributor.transcription	コモリ, ユウイチ	ja
dc.date.accessioned	2017-04-27T04:25:07Z	-
dc.date.available	2017-04-27T04:25:07Z	-
dc.date.issued	2014-09	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/223315	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	An extension to predicate logic of $lambdarho$-calculus (Logics, Algebras and Languages in Computer Science)	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1915	-
dc.identifier.spage	1	-
dc.identifier.epage	10	-
dc.textversion	publisher	-
dc.identifier.artnum	KJ00009496539	-
dc.sortkey	01	-
dc.address	千葉大学理学研究科	ja
dc.address	千葉大学理学研究科	ja
dc.address.alternative	Division of Fundamental Sciences, Graduate School of Science, Chiba University	en
dc.address.alternative	Department of Mathematics, Faculty of Science, Chiba University	en
dcterms.accessRights	open access	-
出現コレクション:	1915 計算機科学における論理・代数・言語

このリポジトリに保管されているアイテムはすべて著作権により保護されています。