Higher-order equational logic for specification, simulation and testing (Q4645808): Difference between revisions

@@ Property / author @@
+Karl Meinke
@@ Property / author: Karl Meinke / 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-61254-8_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1877230773
@@ Property / OpenAlex ID: W1877230773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692466
@@ Property / cites work: Q4692466 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the algebraic specification methods for computable data types
+Normal rank
@@ Property / cites work @@
+Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order algebra, logic, and term rewriting. 1st International Workshop, HOA '93, Amsterdam, the Netherlands, September 23-24, 1993. Selected papers
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of higher-order algebraic specification methods
+Normal rank
@@ Property / cites work @@
+Universal algebra in higher types
@@ Property / cites work: Universal algebra in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+A recursive second order initial algebra specification of primitive recursion
+Normal rank
@@ Property / cites work @@
+A completeness theorem for the expressive power of higher-order algebraic specifications
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion on the countable functionals
@@ Property / cites work: Recursion on the countable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank