Login / Signup
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.
Alexander Kurz
Alberto Pardo
Daniela Petrisan
Paula Severi
Fer-Jan de Vries
Published in:
CALCO (2015)
Keyphrases
</>
approximation algorithms
closed form
error bounds
hierarchical structure
nonmonotonic reasoning
information retrieval
viewpoint
logic programs
efficient computation
queueing networks
approximation error
continuous functions
approximation methods
approximation schemes
error tolerance