Login / Signup
Finite semantics of polymorphism, complexity and the power of type fixpoints.
Lê Thành Dung Nguyên
Paolo Pistone
Thomas Seiller
Lorenzo Tortora de Falco
Published in:
CoRR (2019)
Keyphrases
</>
worst case
finite number
fixpoint semantics
logic programs
semantic information
space complexity
logic programming
formal semantics
computational complexity
memory requirements
autoepistemic logic
data sets
np hard
power consumption
complexity analysis
fixed order