Verification of relational transducers for electronic commerce (Q1394796): Difference between revisions

@@ Property / cites work @@
+Temporal connectives versus explicit timestamps to query temporal databases
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational transducers for electronic commerce
@@ Property / cites work: Relational transducers for electronic commerce / rank @@
+Normal rank
@@ Property / cites work @@
+Q4390866
@@ Property / cites work: Q4390866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and expressiveness issues in active databases
+Normal rank
@@ Property / cites work @@
+An existential fragment of second order logic
@@ Property / cites work: An existential fragment of second order logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4818811
@@ Property / cites work: Q4818811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753716
@@ Property / cites work: Q2753716 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(02)00029-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2633545396
@@ Property / OpenAlex ID: W2633545396 / rank @@
+Normal rank