Coinduction for preordered algebra (Q627121): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / 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.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
@@ links / mardi / name / links / mardi / name @@
+Publication:627121