Author:
Bucciarelli A.,Ehrhard T.
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conflict vs Causality in Event Structures;Electronic Proceedings in Theoretical Computer Science;2019-08-22
2. RELATIONAL GRAPH MODELS AT WORK;LOG METH COMPUT SCI;2018
3. On the reification of semantic linearity;Mathematical Structures in Computer Science;2014-11-10
4. On the characterization of models of
H;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Minimal lambda-theories by ultraproducts;Electronic Proceedings in Theoretical Computer Science;2013-03-28