Item:Q5145334: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q1989320
@@ label / en / label / en @@
-Type-two polynomial-time and restricted lookahead
@@ description / en / description / en @@
-scientific article; zbMATH DE number 7298783
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Type-two polynomial-time and restricted lookahead (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.03097
@@ Property / zbMATH Open document ID: 1452.03097 / rank @@
-Normal rank
@@ Property / DOI @@
-.1145/3209108.3209124
@@ Property / DOI: 10.1145/3209108.3209124 / rank @@
-Normal rank
@@ Property / author @@
-Bruce M. Kapron
@@ Property / author: Bruce M. Kapron / rank @@
-Normal rank
@@ Property / author @@
-Florian Steinberg
@@ Property / author: Florian Steinberg / rank @@
-Normal rank
@@ Property / published in @@
-Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
-Normal rank
@@ Property / publication date @@
-January 2021Timestamp +2021-01-20T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2021-01-20T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 20 January 2021 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1801.07485
@@ Property / full work available at URL: https://arxiv.org/abs/1801.07485 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-D65
@@ Property / Mathematics Subject Classification ID: 03D65 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-7298783
@@ Property / zbMATH DE Number: 7298783 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-applied lambda-calculus
@@ Property / zbMATH Keywords: applied lambda-calculus / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-feasibility of functionals
@@ Property / zbMATH Keywords: feasibility of functionals / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-higher-order computability
@@ Property / zbMATH Keywords: higher-order computability / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-oracle Turing machines
@@ Property / zbMATH Keywords: oracle Turing machines / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5145334

Latest revision as of 09:33, 6 May 2024

Redirect to:

Item:Q1989320