年単位の研究成果
研究成果 2006 2019
2018
Specification and Verification of Invariant Properties of Transition Systems
Gaina, D., Tutu, I. & Riesco, A., 7 2 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 99-108 10 p. 8719485. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 巻数 2018-December).研究成果: 著書/レポートタイプへの貢献 › 会議での発言
Specifications
2015
2
引用
(Scopus)
Foundations of logic programming in hybridised logics
Găină, D., 1 1 2015, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (版). Springer Verlag, p. 69-89 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9463).研究成果: 著書/レポートタイプへの貢献 › 会議での発言
Logic programming
Logic Programming
Logic
Hybrid systems
Semantics
2013
11
引用
(Scopus)
Constructor-based inductive theorem prover
Gǎinǎ, D., Zhang, M., Chiba, Y. & Arimoto, Y., 10 28 2013, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Proceedings. p. 328-333 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 8089 LNCS).研究成果: 著書/レポートタイプへの貢献 › 会議での発言
Theorem
Software System
Logic
Strategy
2009
7
引用
(Scopus)
Constructor-based institutions
Gǎinǎ, D., Futatsugi, K. & Ogata, K., 11 2 2009, Algebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings. p. 398-412 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5728 LNCS).研究成果: 著書/レポートタイプへの貢献 › 会議での発言
Completeness
Computer Science
Logic
Model
Computer science