Item:Q5900246: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q5892169
@@ label / en / label / en @@
-Nominal Unification from a Higher-Order Perspective
@@ description / en / description / en @@
-scientific article; zbMATH DE number 5317335
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Nominal Unification from a Higher-Order Perspective (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.03311
@@ Property / zbMATH Open document ID: 1145.03311 / rank @@
-Normal rank
@@ Property / DOI @@
-.1007/978-3-540-70590-1_17
@@ Property / DOI: 10.1007/978-3-540-70590-1_17 / rank @@
-Normal rank
@@ Property / author @@
-Jordi Levy
@@ Property / author: Jordi Levy / rank @@
-Normal rank
@@ Property / author @@
-Mateu Villaret
@@ Property / author: Mateu Villaret / rank @@
-Normal rank
@@ Property / published in @@
-Rewriting Techniques and Applications
@@ Property / published in: Rewriting Techniques and Applications / rank @@
-Normal rank
@@ Property / publication date @@
-August 2008Timestamp +2008-08-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2008-08-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 28 August 2008 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1005.3731
@@ Property / full work available at URL: https://arxiv.org/abs/1005.3731 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B10
@@ Property / Mathematics Subject Classification ID: 03B10 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-5317335
@@ Property / zbMATH DE Number: 5317335 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5900246

Latest revision as of 09:09, 6 May 2024

Redirect to:

Item:Q5892169