On the verification of security-aware E-services (Q429592): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2011.12.033
@@ Property / DOI: 10.1016/j.jsc.2011.12.033 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+DKAL
@@ Property / describes a project that uses: DKAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Binder
@@ Property / describes a project that uses: Binder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YAGO
@@ Property / describes a project that uses: YAGO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2011.12.033
+Normal rank
@@ Property / OpenAlex ID @@
+W1972230883
@@ Property / OpenAlex ID: W1972230883 / 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 @@
+Q4508935
@@ Property / cites work: Q4508935 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809070
@@ Property / cites work: Q4809070 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Q4415096
@@ Property / cites work: Q4415096 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
+Normal rank
@@ Property / cites work @@
+Deciding effectively propositional logic using DPLL and substitution sets
+Normal rank
@@ Property / cites work @@
+On the verification of security-aware E-services
@@ Property / cites work: On the verification of security-aware E-services / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848067
@@ Property / cites work: Q2848067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490936
@@ Property / cites work: Q3490936 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of relational transducers for electronic commerce
+Normal rank
@@ Property / cites work @@
+On the Saturation of YAGO
@@ Property / cites work: On the Saturation of YAGO / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259971
@@ Property / cites work: Q4259971 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining nonstably infinite theories
@@ Property / cites work: Combining nonstably infinite theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2011.12.033
@@ Property / DOI: 10.1016/J.JSC.2011.12.033 / rank @@
+Normal rank