ℹ️
🇬🇧
Search
Search for publications relevant for "feasible interpolation"
feasible interpolation
Publication
Class
Person
Publication
Programmes
publication
A FEASIBLE INTERPOLATION FOR RANDOM RESOLUTION
2017 |
Faculty of Mathematics and Physics
publication
A form of feasible interpolation for constant depth frege systems
2010 |
Faculty of Mathematics and Physics
publication
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Publication without faculty affiliation
publication
Randomized feasible interpolation and monotone circuits with a local oracle
2018 |
Faculty of Mathematics and Physics
publication
On Protocols for Monotone Feasible Interpolation
2023 |
Faculty of Mathematics and Physics
publication
Nisan-Wigderson generatos in proof systems with forms of interpolation
2011 |
Faculty of Mathematics and Physics
publication
Interpolation in Modal Logics
2006 |
Faculty of Arts