INKA: The next generation (Q4647524): Difference between revisions

@@ Property / describes a project that uses @@
+InKa
@@ Property / describes a project that uses: InKa / 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/3-540-61511-3_92
+Normal rank
@@ Property / OpenAlex ID @@
+W1490584023
@@ Property / OpenAlex ID: W1490584023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Coloring terms to control equational reasoning
@@ Property / cites work: Coloring terms to control equational reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of algorithms over non-freely generated data types
+Normal rank
@@ Property / cites work @@
+On proving the termination of algorithms by machine
+Normal rank
@@ Property / cites work @@
+Guiding induction proofs
@@ Property / cites work: Guiding induction proofs / rank @@
+Normal rank