A theory of abstraction (Q1199923): Difference between revisions

@@ Property / describes a project that uses @@
+GETFOL
@@ Property / describes a project that uses: GETFOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817655
@@ Property / cites work: Q3817655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3327746
@@ Property / cites work: Q3327746 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating criticalities
@@ Property / cites work: Calculating criticalities / rank @@
+Normal rank
@@ Property / cites work @@
+Using rewriting rules for connection graphs to prove theorems
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721424
@@ Property / cites work: Q5721424 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-left-to-right, non-directional parser for ambiguous lattices
+Normal rank
@@ Property / cites work @@
+Q3490995
@@ Property / cites work: Q3490995 / rank @@
+Normal rank
@@ Property / cites work @@
+The inevitability of inconsistent abstract spaces
@@ Property / cites work: The inevitability of inconsistent abstract spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028091
@@ Property / cites work: Q4028091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715706
@@ Property / cites work: Q5715706 / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible and scalable cost-based query planning in mediators: A transformational approach
+Normal rank
@@ Property / cites work @@
+Q3856727
@@ Property / cites work: Q3856727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Order Logic and Hardware Verification
@@ Property / cites work: Higher Order Logic and Hardware Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885237
@@ Property / cites work: Q3885237 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783620
@@ Property / cites work: Q3783620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484382
@@ Property / cites work: Q3484382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839903
@@ Property / cites work: Q5839903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013740
@@ Property / cites work: Q4013740 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantically Guided Deductive System for Automatic Theorem Proving
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493296
@@ Property / cites work: Q3493296 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about model accuracy
@@ Property / cites work: Reasoning about model accuracy / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank
@@ Property / cites work @@
+Q5559275
@@ Property / cites work: Q5559275 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(92)90021-o
+Normal rank
@@ Property / OpenAlex ID @@
+W2078727257
@@ Property / OpenAlex ID: W2078727257 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1199923