Interleaving Strategies (Q5200118): Difference between revisions

@@ Property / describes a project that uses @@
+ActiveMath
@@ Property / describes a project that uses: ActiveMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathpert
@@ Property / describes a project that uses: Mathpert / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / 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-22673-1_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2913316752
@@ Property / OpenAlex ID: W2913316752 / rank @@
+Normal rank
@@ Property / cites work @@
+Tactics for hierarchical proof
@@ Property / cites work: Tactics for hierarchical proof / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL <i>Parsing permutation phrases</i>
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418136
@@ Property / cites work: Q4418136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying rewrite strategies for interactive exercises
+Normal rank
@@ Property / cites work @@
+Adapting Mathematical Domain Reasoners
@@ Property / cites work: Adapting Mathematical Domain Reasoners / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Soft Computing - ICAISC 2004
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinator Parsing: A Short Tutorial
@@ Property / cites work: Combinator Parsing: A Short Tutorial / rank @@
+Normal rank
@@ Property / cites work @@
+Building program optimizers with rewriting strategies
+Normal rank