학술논문
'학술논문'
에서 검색결과 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)
주제어
언어