Higher-order superposition for dependent types (Q5055856): Difference between revisions

@@ Property / cites work @@
+Q4012882
@@ Property / cites work: Q4012882 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Towards a domain theory for termination proofs
@@ Property / cites work: Towards a domain theory for termination proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank