An overview of transaction logic (Q1341707): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)90190-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1995080554
@@ Property / OpenAlex ID: W1995080554 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic programming
@@ Property / cites work: Paraconsistent logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Hypothetical datalog: Complexity and expressibility
+Normal rank
@@ Property / cites work @@
+Q4518415
@@ Property / cites work: Q4518415 / rank @@
+Normal rank
@@ Property / cites work @@
+The concurrency control problem for database systems
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of Prolog with hypothetical implications. I.
+Normal rank
@@ Property / cites work @@
+Q4028799
@@ Property / cites work: Q4028799 / rank @@
+Normal rank
@@ Property / cites work @@
+Updates and subjunctive queries
@@ Property / cites work: Updates and subjunctive queries / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204442
@@ Property / cites work: Q3204442 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning with inconsistency
@@ Property / cites work: A logic for reasoning with inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688902
@@ Property / cites work: Q5688902 / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank