Titel

Merkliste
1 Ergebnisse

Parallel beta reduction is not elementary recursive:

, In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Asperti, Andrea ; Mairson, Harry G. - p. 303-315 , 1998

Link: https://dl.acm.org/doi/10.1145/268946.268971

RT 
T1 <cTitle>Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages</cTitle>: T1 <Title>Parallel beta reduction is not elementary recursive</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-268971&Exemplar=1&LAN=DE
				
A1 Asperti, Andrea
A1 Mairson, Harry G.
PB ACM
YR 1998
K1 Mathematics of computing
K1 Mathematical analysis
K1 Calculus
K1 Lambda calculus
K1 Continuous mathematics
K1 Theory of computation
K1 Semantics and reasoning
K1 Program constructs
K1 Functional constructs
K1 Computing methodologies
K1 Parallel computing methodologies
K1 Parallel programming languages
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Design and analysis of algorithms
K1 Graph algorithms analysis
K1 Network flows
K1 Discrete mathematics
K1 Graph theory
SP 303
OP 315
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/268946.268971
DO https://dl.acm.org/doi/10.1145/268946.268971
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)