On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL

$ Terminologies |Year=2012 |Month= |Booktitle=RR |Pages=246-249 |Publisher=

}}

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL

Nadeschda NikitinaNadeschda Nikitina,  Sebastian RudolphSebastian Rudolph

Nadeschda Nikitina, Sebastian Rudolph
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{NR,
  author = {Nadeschda Nikitina and Sebastian Rudolph},
  title  = {On the (Non-)Succinctness of Uniform Interpolation in General
            ${\mathcal{EL}
}