Applications of Metric Coinduction (Q5897032): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 5527246
@@ Property / zbMATH Open document ID @@
+.68218
@@ Property / zbMATH Open document ID: 1214.68218 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-540-73859-6_22
@@ Property / DOI: 10.1007/978-3-540-73859-6_22 / rank @@
+Normal rank
@@ Property / published in @@
+Algebra and Coalgebra in Computer Science
@@ Property / published in: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / publication date @@
+March 2009Timestamp +2009-03-10T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2009-03-10T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 10 March 2009 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5527246
@@ Property / zbMATH DE Number: 5527246 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1726965442
@@ Property / OpenAlex ID: W1726965442 / rank @@
+Normal rank