Author:
Baralić Djordje,Curien Pierre-Louis,Milićević Marina,Obradović Jovana,Petrić Zoran,Zekić Mladen,Živaljević Rade T.
Funder
Praemium Academiae of M. Markl
RVO
Ministry of Education, Science and Technological Development
Reference24 articles.
1. Cancellation patterns in automatic geometric theorem proving;Apel,2011
2. The Geometry of Brackets and the Area Principle;Apel,2013
3. A short proof of the Bradley theorem;Baralić;Am. Math. Mon.,2015
4. Cyclic multicategories, multivariable adjunctions and mates;Cheng;J. K-Theory,2014
5. A formal language for cyclic operads;Curien;High. Struct.,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Coherence for closed categories with biproducts;Journal of Pure and Applied Algebra;2021-03