Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis

Authors :: Brian F. Redmond
Source :: Electronic Proceedings in Theoretical Computer Science. 298:75-80
Publication Year :: 2019
Publisher :: Open Publishing Association, 2019.

Subjects :: Exponential complexity
Theoretical computer science
Computer science
Resource analysis
Hierarchical control system
Implicit computational complexity
Joint (audio engineering)
Linear logic

Tools