Bisimulation and propositional intuitionistic logic (Q6044128): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-63141-0_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1595195464
@@ Property / OpenAlex ID: W1595195464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras
@@ Property / cites work: Finitely generated free Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on the s. c. free closure algebras
@@ Property / cites work: A remark on the s. c. free closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank