Browsing Fakultät für Elektrotechnik und Informatik by Author "4a87d99a-c33e-439a-b672-f23a9bd23480"

Browsing Fakultät für Elektrotechnik und Informatik by Author "4a87d99a-c33e-439a-b672-f23a9bd23480"

Sort by: Order: Results:

  • Parameterised Enumeration for Modification Problems 
    Creignou, Nadia; Ktari, Raïda; Müller, Julian-Steffen; Olive, Frédéric; Vollmer, Heribert (Basel : MDPI, 2019)
    Recently, Creignou et al. (Theory Comput. Syst. 2017), introduced the class DelayFPT into parameterised complexity theory in order to capture the notion of efficiently solvable parameterised enumeration problems. In this ...
  • A van Benthem theorem for modal team semantics 
    Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...

Search the repository


Browse

My Account

Usage Statistics