Q5901472 (Q5901472): Difference between revisions

← Older edit Newer edit →

@@ label / en / label / en @@
-Applications of Metric Coinduction
@@ description / en / description / en @@
-scientific article; zbMATH DE number 5527246
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Applications of Metric Coinduction (English)
@@ Property / title: Applications of Metric Coinduction (English) / rank @@
-Normal rank
@@ 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 / author @@
-Dexter Kozen
@@ Property / author: Dexter Kozen / rank @@
-Normal rank
@@ Property / author @@
-Nicholas Ruozzi
@@ Property / author: Nicholas Ruozzi / 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 / full work available at URL @@
-https://arxiv.org/abs/0908.2793
@@ Property / full work available at URL: https://arxiv.org/abs/0908.2793 / 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 / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W1726965442
@@ Property / OpenAlex ID: W1726965442 / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.2793
@@ Property / arXiv ID: 0908.2793 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5901472

Revision as of 10:14, 6 May 2024

No description defined

Language	Label	Description	Also known as
English	No label defined	No description defined

Q5901472 (Q5901472): Difference between revisions

Revision as of 10:14, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)