학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 20건 | 목록 1~10
Academic Journal
In: Theory and Applications of Categories. (Theory and Applications of Categories, 2024, 41:667-685)
Academic Journal
In: Compositionality. (Compositionality, 2024, 6(1))
Academic Journal
In: Journal of Pure and Applied Algebra. (Journal of Pure and Applied Algebra, January 2023, 227(1))
Book
In: Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14617 LNCS:65-92)
Academic Journal
In: Applied Categorical Structures. (Applied Categorical Structures, February 2022, 30(1):173-221)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 270)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 5th International Conference on Applied Category Theory, ACT 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 7 August 2023, 380:224-236)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 5th International Conference on Applied Category Theory, ACT 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 7 August 2023, 380:159-182)
Academic Journal
In: Expositiones Mathematicae. (Expositiones Mathematicae, December 2020, 38(4):496-514)
검색 결과 제한하기
제한된 항목
[AR] Loregian, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어