Coinduction for preordered algebra (Q627121): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2010.11.001
@@ Property / DOI: 10.1016/j.ic.2010.11.001 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2010.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2042019683
@@ Property / OpenAlex ID: W2042019683 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773301
@@ Property / cites work: Q3773301 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2010.11.001
@@ Property / DOI: 10.1016/J.IC.2010.11.001 / rank @@
+Normal rank