Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999): Difference between revisions

@@ Property / cites work @@
+Interpretation of Locales in Isabelle: Theories and Proof Contexts
+Normal rank
@@ Property / cites work @@
+Formalizing the Logic-Automaton Connection
@@ Property / cites work: Formalizing the Logic-Automaton Connection / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508297
@@ Property / cites work: Q4508297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Describing an algorithm by Hopcroft
@@ Property / cites work: Describing an algorithm by Hopcroft / rank @@
+Normal rank
@@ Property / cites work @@
+Code Generation via Higher-Order Rewrite Systems
@@ Property / cites work: Code Generation via Higher-Order Rewrite Systems / rank @@
+Normal rank
@@ Property / cites work @@
+General Bindings and Alpha-Equivalence in Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+The Isabelle Collections Framework
@@ Property / cites work: The Isabelle Collections Framework / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamic logic of permission
@@ Property / cites work: The dynamic logic of permission / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Multiagent Systems
@@ Property / cites work: Multiagent Systems / rank @@
+Normal rank