Lyndon Interpolation for Modal μ-Calculus.

Bahareh Afshari Graham E. Leigh

Published in: TbiLLC (2019)

Keyphrases

transition systems
image interpolation
modal logic
linear interpolation
algebraic structure
interpolation methods
interpolation method
computer algebra
formal language
automated deduction
edge directed
neural network
relational calculus
sequent calculus
low pass filtering
piecewise polynomial