Three Steps (Q3092292): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22359-4_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2912044254
@@ Property / OpenAlex ID: W2912044254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5708984
@@ Property / cites work: Q5708984 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Using temporal logics of knowledge for specification and verification -- a case study
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on secret key exchange using a random deal of cards
+Normal rank
@@ Property / cites work @@
+Computing and Combinatorics
@@ Property / cites work: Computing and Combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Computations with a deck of cards
@@ Property / cites work: Computations with a deck of cards / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Designs
@@ Property / cites work: Combinatorial Designs / rank @@
+Normal rank
@@ Property / cites work @@
+The Russian cards problem
@@ Property / cites work: The Russian cards problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852032
@@ Property / cites work: Q2852032 / rank @@
+Normal rank