This page shows all presentations of this author published in EasyChair Smart Slide.
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
Nicolas Jeannerod and Ralf Treinen