Author:
Gabbay Murdoch J.,Litak Tadeusz,Petrişan Daniela
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Abramsky, S., Ghica, D.R., Murawski, A.S., Luke Ong, C.-H., Stark, I.D.B.: Nominal games and full abstraction for the nu-calculus. In: Proceedings of the 19th IEEE Symposium on Logic in Computer Science, LICS 2004, pp. 150–159. IEEE Computer Society Press, Los Alamitos (2004)
2. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)
3. Lecture Notes in Computer Science;J. Bengtson,2007
4. Bonsangue, M., Kurz, A.: Pi-calculus in logical form. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, pp. 303–312. IEEE Computer Society Press, Los Alamitos (2007)
5. Graduate Texts in Mathematics;S. Burris,1981
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Completeness of Nominal PROPs;Logical Methods in Computer Science;2023-01-26
2. Residuality and Learning for Nondeterministic Nominal Automata;Logical Methods in Computer Science;2022-02-03