Verifying an infinite systolic algorithm using third-order equational methods (Q2500698): Difference between revisions

@@ Property / describes a project that uses @@
+ELAN
@@ Property / describes a project that uses: ELAN / 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.1016/j.jlap.2005.10.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2165205418
@@ Property / OpenAlex ID: W2165205418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000384
@@ Property / cites work: Q4000384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028333
@@ Property / cites work: Q3028333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving and rewriting
@@ Property / cites work: Proving and rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of higher-order algebraic specification methods
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order data types
@@ Property / cites work: Higher order data types / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in higher types
@@ Property / cites work: Universal algebra in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order equational logic for specification, simulation and testing
+Normal rank
@@ Property / cites work @@
+A completeness theorem for the expressive power of higher-order algebraic specifications
+Normal rank
@@ Property / cites work @@
+Correctness of dataflow and systolic algorithms using algebras of streams
+Normal rank
@@ Property / cites work @@
+Q3809236
@@ Property / cites work: Q3809236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694667
@@ Property / cites work: Q3694667 / rank @@
+Normal rank
@@ Property / cites work @@
+On specifications, theories, and models with higher types
+Normal rank
@@ Property / cites work @@
+An algebraic semantics of higher-order types with subtypes
+Normal rank
@@ Property / cites work @@
+Q4364371
@@ Property / cites work: Q4364371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520833
@@ Property / cites work: Q4520833 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of stream processing
@@ Property / cites work: A survey of stream processing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2500698