Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451): Difference between revisions

@@ Property / cites work @@
+Abstract behavior types: a foundation model for components and their composition
+Normal rank
@@ Property / cites work @@
+Matings in matrices
@@ Property / cites work: Matings in matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520768
@@ Property / cites work: Q4520768 / rank @@
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751380
@@ Property / cites work: Q2751380 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
+Normal rank
@@ Property / cites work @@
+Restricting backtracking in connection calculi
@@ Property / cites work: Restricting backtracking in connection calculi / rank @@
+Normal rank
@@ Property / cites work @@
+IeanCOP: lean connection-based theorem proving
@@ Property / cites work: IeanCOP: lean connection-based theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702604
@@ Property / cites work: Q2702604 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+The CADE-22 automated theorem proving system competition – CASC-22
+Normal rank
@@ Property / cites work @@
+Q2751374
@@ Property / cites work: Q2751374 / rank @@
+Normal rank