Browsing by Subject "Logic"

Sort by: Order: Results:

  • On the implicit graph conjecture 
    Chandoo, Maurice (Saarbrücken : Dagstuhl Publishing, 2016)
    The implicit graph conjecture states that every sufficiently small, hereditary graph class has a labeling scheme with a polynomial-time computable label decoder. We approach this conjecture by investigating classes of label ...
  • Post-Summit Results, Delegates’ Summit: Best Practice and Definitions – Algorithm and Algorithm Signification 
    Rückemann, Claus-Peter; Kovacheva, Zlatinka; Kharchenko, Oksana; Gersbeck-Schierholz, Birgit; Hülsmann, Friedrich (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2023)
    Post-Summit Results, Delegates' Summit, September 11, 2023, The (12+1)th Symposium on Advanced Computation and Information in Natural and Applied Sciences (SACINAS), The 21th International Conference of Numerical Analysis ...