المؤلفون: Hideki Tsuiki

المصدر: Algorithms, Vol 5, Iss 2, Pp 273-288 (2012)

مصطلحات موضوعية: imaginary cubes, hexagonal bipyramid, triangular antiprismoid, assembly puzzles, 3D tessellation, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.mdpi.com/1999-4893/5/2/273; https://doaj.org/toc/1999-4893

URL الوصول: https://doaj.org/article/195d7c8988b943559b76e8b89de11d49

المؤلفون: Hideki Tsuiki, Yasuyuki Tsukamoyo

المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 1 (2015)

مصطلحات موضوعية: mathematics - general topology, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1175/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/a477ec415abf418a82a1b4a767866c76

المؤلفون: Hideki Tsuiki, 立木 秀樹

المصدر: コンピュータ ソフトウェア / Computer Software. 2001, 18(2):282

المؤلفون: Hideki Tsuiki, Yohei Yokota

المصدر: Information and Media Technologies. 2012, 7(3):973

المؤلفون: Hideki Tsuiki, 立木 秀樹

المصدر: コンピュータ ソフトウェア / Computer Software. 1990, 7(4):4-376

المؤلفون: Atsushi Iwata, Hideki Tsuiki, Keiko Maeda, Tadashi Sano, Takeshi Arakawa, Toshihiro Tanaka, Yoshio Murakami

المصدر: Nihon Shoni Arerugi Gakkaishi. The Japanese Journal of Pediatric Allergy and Clinical Immunology. 1997, 11(2):51

المؤلفون: Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki

المصدر: Mathematics for Computation (M4C) ISBN: 9789811245213

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5797fb0b50b51e84b70cff27b518407e
https://doi.org/10.1142/9789811245220_0009

المؤلفون: Ulrich Berger, Hideki Tsuiki

المصدر: Programming Languages and Systems ISBN: 9783030993351

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 03B70, 03Dxx, 03Fxx, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, F.4.1, F.3.2, F.3.1, Logic in Computer Science (cs.LO)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9447a2b59284b19ab199205338b83a4a
https://cronfa.swan.ac.uk/Record/cronfa60606/Download/60606__24926__4ecd73688bd84d28a799d80efdfd087a.pdf

المؤلفون: Hideki Tsuiki [著]

وصف الملف: image/jp2

URL الوصول: https://ndlsearch.ndl.go.jp/books/R100000039-I3175182

Degree: 博士 (医学) -- 名古屋市立大学

المؤلفون: Ulrich Berger, Hideki Tsuiki, Olga Petrovska

المصدر: Lecture Notes in Computer Science ISBN: 9783030514655
CiE

مصطلحات موضوعية: Soundness, Computer science, Programming language, Coinduction, Interactive proof system, 0102 computer and information sciences, Fixed point, Mathematical proof, computer.software_genre, 01 natural sciences, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c06442aa7adcb4e9351655652ef04877
https://cronfa.swan.ac.uk/Record/cronfa57995

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/english.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.7643; http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/english.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.7643
http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/english.ps

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/proper-final-o.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.8094; http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/proper-final-o.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.8094
http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/proper-final-o.ps

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/uniform.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.3966; http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/uniform.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.3966
http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/uniform.ps

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/dim-lncs.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5812; http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/dim-lncs.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5812
http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/dim-lncs.ps.gz

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/graynew.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.1994; http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/graynew.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.1994
http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/graynew.ps.gz

المؤلفون: Ulrich Berger, Hideki Tsuiki

المصدر: Annals of Pure and Applied Logic. 172:102903

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, 0102 computer and information sciences, Mathematical proof, 01 natural sciences, Operational semantics, Denotational semantics, Computer Science::Logic in Computer Science, Realizability, F.4.1, F.1.1, I.2.2, I.2.3, 0101 mathematics, Mathematics, computer.programming_language, Functional programming, Interpretation (logic), 010102 general mathematics, Coinduction, 03B70 03D70 03D78 03F03 03F60 06B35, Logic in Computer Science (cs.LO), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Programming Languages, Haskell, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1d0bd36df2607da2e6d097bd707cba8
https://doi.org/10.1016/j.apal.2020.102903

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.dcs.ed.ac.uk/home/wehr/appsem_proceeding/./tsuiki.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5185; http://www.dcs.ed.ac.uk/home/wehr/appsem_proceeding/./tsuiki.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5185
http://www.dcs.ed.ac.uk/home/wehr/appsem_proceeding/./tsuiki.ps

المؤلفون: Yasuyuki Tsukamoto, Hideki Tsuiki

المصدر: Mathematical Structures in Computer Science. 27:1625-1638

مصطلحات موضوعية: 010101 applied mathematics, Algebra, Mathematics (miscellaneous), 010102 general mathematics, 0101 mathematics, 01 natural sciences, Computer Science Applications, Domain (software engineering), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d60fa5f39792e0edf79058619e5d78ab
https://doi.org/10.1017/s0960129516000207

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ccftp.kyoto-su.ac.jp/pub/paper/cs/tsuiki/curmul.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.288

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.288

المؤلفون: Hideki Tsuiki

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/mscs.ps.gz.

مصطلحات موضوعية: single equation in the functor category. A semantics of \Omega

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7565; http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/mscs.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7565
http://www.i.h.kyoto-u.ac.jp/~tsuiki/papers/mscs.ps.gz