Uniform Interpolation via Nested Sequents.

Iris van der Giessen Raheleh Jalali Roman Kuznets

Published in: WoLLIC (2021)

Keyphrases

linear logic
sequent calculus
image interpolation
interpolation methods
machine learning
low pass filtering
inference rules
sparse sampling
linear array
cubic spline
interpolation method
data sets
higher order
general purpose
object oriented
relational databases
expert systems
genetic algorithm
neural network