A Proof System with Bounded Non-determinism in Database Transformations (Q3092325): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1853832670
@@ Property / OpenAlex ID: W1853832670 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312491
@@ Property / cites work: Q4312491 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202952
@@ Property / cites work: Q4202952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077363
@@ Property / cites work: Q3077363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783310
@@ Property / cites work: Q4783310 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Logic for Abstract MetaFinite State Machines
+Normal rank