Generalized and Formalized Uncurrying (Q3172898): Difference between revisions

@@ Property / describes a project that uses @@
+CoLoR
@@ Property / describes a project that uses: CoLoR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jambox
@@ Property / describes a project that uses: Jambox / 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.1007/978-3-642-24364-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1849654074
@@ Property / OpenAlex ID: W1849654074 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Uncurrying for Termination
@@ Property / cites work: Uncurrying for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing curried and uncurried rewriting
@@ Property / cites work: Comparing curried and uncurried rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Signature Extensions Preserve Termination
@@ Property / cites work: Signature Extensions Preserve Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of Termination Proofs Using CeTA
@@ Property / cites work: Certification of Termination Proofs Using CeTA / rank @@
+Normal rank