Resolution-Like Theorem Proving for High-Level Conditions (Q3540406): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87405-8_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1810787746
@@ Property / OpenAlex ID: W1810787746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416077
@@ Property / cites work: Q3416077 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769432
@@ Property / cites work: Q2769432 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Weakest Preconditions for High-Level Programs
@@ Property / cites work: Weakest Preconditions for High-Level Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222796
@@ Property / cites work: Q4222796 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-based specification of access control policies
+Normal rank
@@ Property / cites work @@
+A Logic of Graph Constraints
@@ Property / cites work: A Logic of Graph Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed Graph Constraints
@@ Property / cites work: Attributed Graph Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and Verifying Graph Transformations in Proof Assistants
+Normal rank