Proof-Relevant Logical Relations for Name Generation (Q4637685): Difference between revisions

← Older edit

@@ label / en / label / en @@
+Proof-Relevant Logical Relations for Name Generation
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6182512
@@ Property / zbMATH Open document ID @@
+.68047
@@ Property / zbMATH Open document ID: 1381.68047 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-38946-7_6
@@ Property / DOI: 10.1007/978-3-642-38946-7_6 / rank @@
+Normal rank
@@ Property / publication date @@
+June 2013Timestamp +2013-06-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-06-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 28 June 2013 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6182512
@@ Property / zbMATH DE Number: 6182512 / rank @@
+Normal rank
@@ Property / title @@
+Proof-Relevant Logical Relations for Name Generation (English)
+Normal rank
@@ Property / published in @@
+Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W176593450
@@ Property / OpenAlex ID: W176593450 / rank @@
+Normal rank