Hokkaido University
|
Library
| HUSCAP
Advanced Search
言語
日本語
English
Home
About HUSCAP
Open Access Policy
Browse by Author
Browse
Communities
& Collections
Scholarly Journals
Theses
Doctoral Dissertations
Listed by Graduate Schools
Conference Procs.
Events
HUSCAP Senior
(in Japanese)
Societies
Top 50 Papers
(last 1 month)
Downloads (country)
For university staff
How to post your
papers to HUSCAP
Theses publication info
Helpline about
theses publication
Open Archives Compliant
You can search
our collection
also at:
Google
Google Scholar
CiNii
IRDB
OAIster
NDLTD
Hokkaido University Collection of Scholarly and Academic Papers
>
Sort by:
submit date
issue date
title
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Export metadata:
Showing results 1 to 3 of 3
Type
Author(s)
Title
Other Titles
Citation
Citation(alt)
Issue Date
conference presentation
Ueno, Takeshi
Challenges in Chiba University for Campus Sustainability
サステイナブルキャンパス千葉大学チャレンジ
-
-
26-Oct-2011
theses (doctoral)
Ueno, Takeshi
Natural Deductions for Substructural Logics
部分構造論理の自然演繹での定式化
-
-
24-Mar-2000
bulletin (article)
Ueno, Takeshi
;
Nakatogawa, Koji
;
Watari, Osamu
On Non-eliminability of the Cut Rule and the Roles of Associativity and Distributivity in Non-commutative Substructural Logics
-
哲学
Annals of the Philosophical Society of Hokkaido University
2-Dec-2018
Showing results 1 to 3 of 3
Feedback
Hokkaido University
