Australasian Association for Logic George Hughes Memorial Conference (Q4858809): Difference between revisions

@@ Property / cites work @@
+Q4326782
@@ Property / cites work: Q4326782 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of S1 and some related systems
@@ Property / cites work: The completeness of S1 and some related systems / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank