Diacritical companions (Q2133161): Difference between revisions

@@ Property / Wikidata QID @@
+Q113317360
@@ Property / Wikidata QID: Q113317360 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paco
@@ Property / describes a project that uses: Paco / 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.entcs.2019.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W4211188130
@@ Property / OpenAlex ID: W4211188130 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367066
@@ Property / cites work: Q5367066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4580200
@@ Property / cites work: Q4580200 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving soundness of extensional normal-form bisimilarities
+Normal rank
@@ Property / cites work @@
+Coinduction up-to in a fibrational setting
@@ Property / cites work: Coinduction up-to in a fibrational setting / rank @@
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The Largest Respectful Function
@@ Property / cites work: The Largest Respectful Function / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Lattices and Up-To Techniques
@@ Property / cites work: Complete Lattices and Up-To Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction All the Way Up
@@ Property / cites work: Coinduction All the Way Up / rank @@
+Normal rank
@@ Property / cites work @@
+Companions, Codensity and Causality
@@ Property / cites work: Companions, Codensity and Causality / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancements of the bisimulation proof method
@@ Property / cites work: Enhancements of the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Tower Induction and Up-to Techniques for CCS with Fixed Points
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2133161