Faculty of Letters

Research Output

Filter
Conference contribution
2020

Automatic generation of high quality CCGBanks for ParSER domain adaptation

Yoshikawa, M., Noji, H., Mineshima, K. & Bekki, D., 2020 Jan 1, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 129-139 11 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

Automated inference of cognitive performance by fusing multimodal information acquired by smartphone

Hamatani, T., Ochiai, K., Inagaki, A., Yamamoto, N., Fukazawa, Y., Kimoto, M., Kiriu, K., Kaminishi, K., Ota, J., Terasawa, Y., Okimura, T. & Maeda, T., 2019 Sep 9, UbiComp/ISWC 2019- - Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers. Association for Computing Machinery, Inc, p. 921-928 8 p. (UbiComp/ISWC 2019- - Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Better supporting workers in ML workplaces

Clarke, M. F., Gonzales, J., Randall, D., Ludwig, T., Harper, R. & Ikeya, N., 2019 Nov 9, CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 443-448 6 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Can morality be ascribed to robot?

Nagataki, S., Ohira, H., Kashiwabata, T., Konno, T., Hashimoto, T., Miura, T., Shibata, M. & Kubota, SI., 2019 Jun 25, Proceedings of the 22nd International Conference on Human-Computer Interaction, INTERACCION 2019. Association for Computing Machinery, 44. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Development of Multi-View Video Browsing Interface Specialized for Developmental Child Training

Kitamura, N., Shishido, H., Enomoto, T., Kameda, Y., Yamamoto, J. & Kitahara, I., 2019 May 7, Proceedings of the 2019 12th Asia Pacific Workshop on Mixed and Augmented Reality, APMAR 2019. Weng, D., Chan, L., Lee, Y., Liang, X. & Sakata, N. (eds.). Institute of Electrical and Electronics Engineers Inc., 8709275. (Proceedings of the 2019 12th Asia Pacific Workshop on Mixed and Augmented Reality, APMAR 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Multimodal logical inference system for visual-textual entailment

Suzuki, R., Yanaka, H., Yoshikawa, M., Mineshima, K. & Bekki, D., 2019 Jan 1, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Student Research Workshop. Association for Computational Linguistics (ACL), p. 386-392 7 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Student Research Workshop).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Physiological Stress Level Estimation Based on Smartphone Logs

Yamamoto, N., Ochiai, K., Inagaki, A., Fukazawa, Y., Kimoto, M., Kiriu, K., Kaminishi, K., Ota, J., Okimura, T., Terasawa, Y. & Maeda, T., 2019 Feb 26, 2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018. Institute of Electrical and Electronics Engineers Inc., 8653590. (2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Using VIAF dataset and the national bibliography for identifying and listing comics and manga authors

Otani, Y., Agata, T., Hashizume, A., Eto, M., Agata, M. & Sugie, N., 2019 Jun, Proceedings - 2019 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2019. Bonn, M., Wu, D., Downie, S. J. & Martaus, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 422-423 2 p. 8791205. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries; vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Acquisition of phrase correspondences using natural deduction proofs

Yanaka, H., Mineshima, K., Martínez-Ǵomez, P. & Bekki, D., 2018 Jan 1, Long Papers. Association for Computational Linguistics (ACL), p. 756-766 11 p. (NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Analyzing the relationship between cognitive performance and time to find intended mobile app

Ochiai, K., Yamamoto, N., Hamatani, T., Fukazawa, Y., Kimoto, M., Terasawa, Y., Kiriu, K., Kaminishi, K., Ota, J., Okimura, T. & Maeda, T., 2018 Oct 8, UbiComp/ISWC 2018 - Adjunct Proceedings of the 2018 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2018 ACM International Symposium on Wearable Computers. Association for Computing Machinery, Inc, p. 1686-1690 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Consistent CCG parsing over multiple sentences for improved logical reasoning

Yoshikawa, M., Mineshima, K., Noji, H. & Bekki, D., 2018 Jan 1, Short Papers. Association for Computational Linguistics (ACL), p. 407-412 6 p. (NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling and quantitative measurement method of the tripartite interpersonal distance dynamics for children with ASD

Tsuji, A., Enomoto, T., Matsuda, S., Yamamoto, J. & Suzuki, K., 2018 Jan 1, Computers Helping People with Special Needs - 16th International Conference, ICCHP 2018, Proceedings. Springer Verlag, p. 523-526 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10896 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the robot as a moral agent

Nagataki, S., Shibata, M., Hashimoto, T., Kashiwabata, T., Konno, T., Ohira, H., Miura, T. & Kubota, S., 2018 Sep 12, Proceedings of the 19th International Conference on Human-Computer Interaction, Interaccion 2018. Association for Computing Machinery, 24

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Preparation-Free Measurement of Event-Related Potential in Oddball Tasks from Hairy Parts Using Candle-Like Dry Microneedle Electrodes

Yoshida, Y., Kudo, Y., Hoshino, E., Minagawa, Y. & Miki, N., 2018 Oct 26, 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018. Institute of Electrical and Electronics Engineers Inc., p. 4685-4688 4 p. 8513178. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Recognizing whether a person is eating alone or has company by using wearable devices

Kiriu, K., Ochiai, K., Inagaki, A., Yamamoto, N., Fukazawa, Y., Kimoto, M., Okimura, T., Terasawa, Y., Maeda, T. & Ota, J., 2018 Apr 2, 2017 10th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-2 2 p. (2017 10th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The effects of debriefing on the performance and attitude of Japanese University students

Kikkawa, T., Sugiura, J. & Kriz, W. C., 2018 Jan 1, Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures - 48th International Simulation and Gaming Association Conference, ISAGA 2017, Revised Selected Papers. Springer Verlag, p. 173-180 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10825 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

A structural equation model of information retrieval skills

Ishita, M., Miyata, Y., Ueda, S. & Kurata, K., 2017 Mar 7, CHIIR 2017 - Proceedings of the 2017 Conference Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 317-320 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Can Japanese Manga Be Automatically Classified from Public Library Holdings?

Eto, M., Agata, T., Sugie, N., Otani, Y. & Agata, M., 2017 Jul 25, 2017 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2017. Institute of Electrical and Electronics Engineers Inc., 7991593. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Conceptual design for comprehensive research support platform: Successful research data management generating big data from little data

Matsubayashi, M. & Kurata, K., 2017 Jul 1, Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017. Nie, J-Y., Obradovic, Z., Suzumura, T., Ghosh, R., Nambiar, R., Wang, C., Zang, H., Baeza-Yates, R., Baeza-Yates, R., Hu, X., Kepner, J., Cuzzocrea, A., Tang, J. & Toyoda, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 4407-4409 3 p. (Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Determining semantic textual similarity using natural deduction proofs

Yanaka, H., Martínez-Gómez, P., Mineshima, K. & Bekki, D., 2017 Jan 1, EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 681-691 11 p. (EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
4 Citations (Scopus)

Modeling of the chasing behaviors for developmental program of children with autism spectrum disorders

Tsuji, A., Sekine, S., Enomoto, T., Matsuda, S., Yamamoto, J. & Suzuki, K., 2017 Nov 14, Proceedings of 2017 IEEE 16th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2017. Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 8109739

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sustained Attention Function Evaluation during Cooking Based on Egocentric Vision

Ooi, S., Sano, M., Tabuchi, H., Saito, F. & Umeda, S., 2017 Dec 28, Proceedings - 2017 IEEE International Symposium on Multimedia, ISM 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-January. p. 107-113 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2016

An approach to facilitate turn-taking behavior with paired devices for children with Autism Spectrum Disorder

Nunez, E., Matsuda, S., Hirokawa, M., Yamamoto, J. & Suzuki, K., 2016 Nov 15, 25th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2016. Institute of Electrical and Electronics Engineers Inc., p. 837-842 6 p. 7745216

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Effect of the antioxidant supplement pyrroloquinoline quinone disodium salt (BioPQQ™) on cognitive functions

Itoh, Y., Hine, K., Miura, H., Uetake, T., Nakano, M., Takemura, N. & Sakatani, K., 2016, Advances in Experimental Medicine and Biology. Springer New York LLC, Vol. 876. p. 319-325 7 p. (Advances in Experimental Medicine and Biology; vol. 876).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Media and Sentiments in the Great East Japan Earthquake Related Tweets-Social Media as "meta Media"

Matsumura, N., Miura, A., Komori, M. & Hiraishi, K., 2016 Mar 22, Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 465-470 6 p. 7439387

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Paired robotic devices to mediate and represent social behaviors

Nunez, E., Matsuda, S., Hirokawa, M., Yamamoto, J. & Suzuki, K., 2015 Nov 20, Proceedings - IEEE International Workshop on Robot and Human Interactive Communication. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-November. p. 722-727 6 p. 7333669

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2014

Progress of research on a new asteroid exploration rover considering thermal control

Yosuke, M., Yoshimitsu, T. & Takashi, K., 2014 Jan 1, Robot Intelligence Technology and Applications 2 - Results from the 2nd International Conference on Robot Intelligence Technology and Applications. Karray, F., Matson, E. T., Myung, H., Kim, J-H., Matson, E. T. & Xu, P. (eds.). Springer Verlag, p. 341-350 10 p. (Advances in Intelligent Systems and Computing; vol. 274).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Computationally complete symbolic attacker and key exchange

Bana, G., Hasebe, K. & Okada, M., 2013 Dec 9, CCS 2013 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security. p. 1231-1246 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Husserl and hilbert on completeness and husserl's term rewrite-based theory of multiplicity

Okada, M., 2013 Jan 1, 24th International Conference on Rewriting Techniques and Applications, RTA 2013. van Raamsdonk, F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 4-19 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 21).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2011

Detecting academic papers on the web

Ishita, E., Agata, T., Ikeuchi, A., Yosuke, M. & Ueda, S., 2011 Jul 25, JCDL'11 - Proceedings of the 2011 ACM/IEEE Joint Conference on Digital Libraries. p. 413-414 2 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

Analyzing viewing patterns while reading picture books

Ishita, E., Mine, S., Kunimoto, C., Shiozaki, J., Kurata, K. & Ueda, S., 2010 Aug 5, JCDL'10 - Digital Libraries - 10 Years Past, 10 Years Forward, a 2020 Vision. 1 p. (Proceedings of the ACM International Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A search engine for Japanese academic papers

Ishita, E., Agata, T., Ikeuchi, A., Michiko, N. & Yosuke, M., 2010 Aug 5, JCDL'10 - Digital Libraries - 10 Years Past, 10 Years Forward, a 2020 Vision. 1 p. (Proceedings of the ACM International Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Competent larva in the starfish, Asterina pectinifera shifts from larval growth to juvenile formation by using environmental cue(s)

Murabe, N., Kaneko, H. & Nakajima, Y., 2010 Dec 1, Echinoderms: Durham - Proceedings of the 12th International Echinoderm Conference. p. 463-466 4 p. (Echinoderms: Durham - Proceedings of the 12th International Echinoderm Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Simulator platform that enables social interaction simulation - SIGVerse: SocioIntelliGenesis simulator

Inamura, T., Shibata, T., Sena, H., Hashimoto, T., Kawai, N., Miyashita, T., Sakurai, Y., Shimizu, M., Otake, M., Hosoda, K., Umeda, S., Inui, K. & Yoshikawa, Y., 2010 Dec 1, 2010 IEEE/SICE International Symposium on System Integration: SI International 2010 - The 3rd Symposium on System Integration, SII 2010, Proceedings. p. 212-217 6 p. 5708327. (2010 IEEE/SICE International Symposium on System Integration: SI International 2010 - The 3rd Symposium on System Integration, SII 2010, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

40 Citations (Scopus)

Studies on function of MC5 molecule that is a novel membrane-type metalloproteinase of astacin family during morphogenesis of the starfish, Asterina pectinifera

Hamanaka, G., Matsumoto, M., Hoshi, M. & Kaneko, H., 2010 Dec 1, Echinoderms: Durham - Proceedings of the 12th International Echinoderm Conference. p. 457-462 6 p. (Echinoderms: Durham - Proceedings of the 12th International Echinoderm Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings

Sato, Y., Mineshima, K. & Takemura, R., 2010 Aug 26, Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings. p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Citations (Scopus)

Two types of diagrammatic inference systems: Natural deduction style and resolution style

Mineshima, K., Okada, M. & Takemura, R., 2010 Aug 26, Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings. p. 99-114 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)
2009

Analyzing opac use with screen views and eye tracking

Ishita, E., Mine, S., Koizumi, M., Miyata, Y., Kunimoto, C., Shiozaki, J., Kurata, K. & Ueda, S., 2009 Nov 30, JCDL'09 - Proceedings of the 2009 ACM/IEEE Joint Conference on Digital Libraries. 1 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computational semantics for first-order logical analysis of cryptographic protocols

Bana, G., Hasebe, K. & Okada, M., 2009 Jul 16, Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration. p. 33-56 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5458 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
2008

A presuppositional analysis of definite descriptions in proof theory

Mineshima, K., 2008 Aug 27, New Frontiers in Artificial Intelligence - JSAI 2007 Conference and Workshops, Revised Selected Papers. p. 214-227 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4914 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Diagrammatic reasoning system with euler circles: Theory and experiment design

Mineshima, K., Okada, M., Sato, Y. & Takemura, R., 2008 Nov 27, Diagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings. p. 188-205 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5223 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)
2007

Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus

Okada, M. & Takemura, R., 2007 Dec 1, Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Comon-Lundh, H., Kirchner, C. & Kirchner, H. (eds.). p. 167-181 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4600 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2006

Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences

Okada, M., Sugimoto, Y., Yoshikawa, S. & Konagaya, A., 2006 Dec 1, Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday. p. 616-642 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4060 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2005

Analysis of land use change around coastal zone in Tuvalu Funafuti atoll

Kuwahara, Y., Yokoki, H., Yamano, H., Kayane, H., Shimazaki, H., Chikamori, M. & Yamaguchi, T., 2005 Dec 1, Asian Association on Remote Sensing - 26th Asian Conference on Remote Sensing and 2nd Asian Space Conference, ACRS 2005. p. 1614-1617 4 p. (Asian Association on Remote Sensing - 26th Asian Conference on Remote Sensing and 2nd Asian Space Conference, ACRS 2005; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
1999

The calculus of algebraic constructions

Blanqui, F., Jouannaud, J. P. & Okada, M., 1999, Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings. Narendran, P. & Rusinowitch, M. (eds.). Springer Verlag, p. 301-316 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1631).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Citations (Scopus)
1993

System description of LAMBDALG - A higher order algebraic specification language

Gui, Y. & Okada, M., 1993 Jan 1, Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 354-356 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 698 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution