Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
A flow calculus of
mwp
-bounds for complexity analysis
Neil Jones, Lars Kristiansen
Department of Computer Science
15
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A flow calculus of
mwp
-bounds for complexity analysis'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Complexity Analysis
100%
Calculus
62%
Proof Search
36%
Exhaustive Search
34%
Polynomial
27%
Computational Methods
27%
Syntax
25%
Semantics
22%
Imply
16%
Engineering & Materials Science
Polynomials
60%
Computational methods
41%
Semantics
26%