Author:
Ebbing Johannes,Hella Lauri,Lohmann Peter,Virtema Jonni
Funder
Tampereen Yliopisto
Academy of Finland
Deutscher Akademischer Austauschdienst
Jenny ja Antti Wihurin Rahasto
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference44 articles.
1. A compositional game semantics for multi-agent logics of imperfect information;Abramsky,2007
2. From IF to BI;Abramsky;Synthese,2009
3. Applications of strict Π11 predicates to infinitary logic;Barwise;J. Symb. Log.,1969
4. Henkin quantifiers and complete problems;Blass;Ann. Pure Appl. Log.,1986
5. Team building in dependence;Bradfield,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献