Author:
Kontinen Juha,Müller Julian-Steffen,Schnoor Henning,Vollmer Heribert
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference17 articles.
1. Al-Bataineh O.I. and van der Meyden R. .Abstraction for epistemic model checking of dining cryptographers-based protocols.In Theoretical Aspects of Rationality and Knowledge (TARK),K.R. Apt, ed., pp.247–256.ACM Press,2011.
2. Benthem J.V. .Modal Logic and Classical Logic.Bibliopolis,1985.
3. Börger E. , Grädel E. and Gurevich Y. .The Classical Decision Problem.Springer,2001.
4. The dining cryptographers problem: Unconditional sender and recipient untraceability
5. Ebbing J. , Hella L. , Meier A. , Müller J.-S. , Virtema J. and Vollmer H. .Extended modal dependence logic.In Workshop on Logic, Language, Information, and Computation (WoLLIC),number 8071 in Lecture Notes in Computer Science, pp.126–137,2013.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献