An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265): Difference between revisions

@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Classical BI
@@ Property / cites work: Classical BI / rank @@
+Normal rank
@@ Property / cites work @@
+Classical BI: Its Semantics and Proof Theory
@@ Property / cites work: Classical BI: Its Semantics and Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Propositional Separation Logic and Its Neighbours
+Normal rank
@@ Property / cites work @@
+Expressivity Properties of Boolean BI Through Relational Models
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics withn-ary connectives
@@ Property / cites work: Modal logics withn-ary connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4842971
@@ Property / cites work: Q4842971 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
+Normal rank
@@ Property / cites work @@
+Nondeterministic Phase Semantics and the Undecidability of Boolean BI
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank