Search
Submission Procedure
share:
|
Special Issues
Submission Procedure
Aims and Scope
Board of Editors
What's New
Follow us
Articles by Topics
Articles by Author
Geographical Mashup
List of Topics
Printed Publications
Volume 26 (2020)
Volume 25 (2019)
Volume 24 (2018)
Volume 23 (2017)
Volume 22 (2016)
Volume 21 (2015)
Volume 20 (2014)
Volume 19 (2013)
Volume 18 (2012)
Volume 17 (2011)
Volume 16 (2010)
Volume 15 (2009)
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
Collection of other papers
Hajime Ishihara
Japan Advanced Institute of Science and Technology, Japan
H. Ishihara
:
A Canonical Model Construction for Substructural Logics
/jucs_6_1/a_canonical_model_construction
page 155 - 168
Vol.6
/
Issue 1
V. Brattka, H. Ishihara, M. Schröder, N. Zhong
:
Computability and Complexity in Analysis
/jucs_14_6/computability_and_complexity_in
page 800 - 800
Vol.14
/
Issue 6
C.S. Calude, H. Ishihara
:
Constructivity, Computability, and Logic
A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges
/jucs_11_12/constructivity_computability_and_logic
page 1863 - 1864
Vol.11
/
Issue 12
H. Ishihara, B. Khoussainov
:
Effectiveness of the Completeness Theorem for an Intermediate Logic
/jucs_3_11/effectiveness_of_the_completeness
page 1255 - 1265
Vol.3
/
Issue 11
H. Ishihara
:
Sequential Continuity of Linear Mappings in Constructive Mathematics
/jucs_3_11/sequential_continuity_of_linear
page 1250 - 1254
Vol.3
/
Issue 11