ＧＡＩＮＡ Ｄａｎｉｅｌ  GAINA Daniel

Proceedings of ICALP 2024

巻: -

Annals of Pure and Applied Logic

巻: 174 号: 3 ページ: 103212-103212

10.1016/j.apal.2022.103212

Proceedings of the Advances in Modal Logic, AiML 2022

巻: 14 ページ: 407-428

Journal of Logic and Computation

巻: First-view 号: 5 ページ: 1-37

10.1093/logcom/exab073

Journal of Logic and Computation

巻: 30 号: 7 ページ: 1377-1399

10.1093/logcom/exaa042

Theoretical Computer Science

巻: 848 ページ: 82-105

10.1016/j.tcs.2020.09.024

Journal of the ACM

巻: 67 号: 4 ページ: 1-55

10.1145/3400294

Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)

巻: 373 ページ: 15-21

10.1007/978-981-10-0281-6_3

Springer Lecture Notes in Computer Science (Recent Trends in Algebraic Development Techniques)

巻: 9463 ページ: 69-89

10.1007/978-3-319-28114-8_5

電子情報通信学会，信学技報

巻: vol.114, no.510, SS2014-55 ページ: 1-6

Journal of Logic and Computation

巻: 25 (1) 号: 1 ページ: 95-116

10.1093/logcom/exs044

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 578-602

10.1007/978-3-642-54624-2_29

Logica Universalis

巻: 8 (3-4) 号: 3-4 ページ: 469-498

10.1007/s11787-013-0090-0

Proc. of the 5th International Conference on Algebra and Coalgebra in Computer Science (5th CALCO), LNCS 8089, Springer

巻: - ページ: 328-333

10.1007/978-3-642-40206-7_26

Theoretical Computer Science (TCS)

巻: 474 ページ: 46-59

10.1016/j.tcs.2012.12.002

The Journal of Universal Computer Science (J.UCS)

巻: 18(16) ページ: 2204-2233

Theoretical Computer Science (TCS)

巻: 464 ページ: 90-112

10.1016/j.tcs.2012.07.041