Seite 1 von 52.849 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

Treffer filtern

Externe Quellen

Suchen...
  1.  

    Deductive program analysis with first-order theorem provers

    Robillard, Dimon / Chalmers tekniska högskola | TIBKAT | 2019
  2.  

    Design, implementation and evaluation of a distributed CDCL framework

    Grinten, Alexander / Universität zu Köln | TIBKAT | 2018
  3.  

    Beyond worst-case analysis of Max-Cut and local search

    Etscheid, Michael / Rheinische Friedrich-Wilhelms-Universität Bonn | TIBKAT | 2018
  4.  

    28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017) : Barcelona, Spain, 16-19 January 2017 / editor: Philip N. Klein ; jointly sponsored by SIGACT (the ACM Special Interest Group on Algorithms and Computation Theory) and by the SIAM Activity Group on Discrete Mathematics ; Volume 2

    ACM-SIAM Symposium on Discrete Algorithms / Association for Computing Machinery / Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory et al. | TIBKAT | 2017
  5.  

    Algorithmic aspects of type-based program synthesis

    Dudenhefner, Andrej / Technische Universität Dortmund | TIBKAT | 2019
  6.  

    On introduction, coinduction and equality in Martin-Löf and homotopy type theory

    Vezzosi, Andrea / Chalmers tekniska högskola / Göteborgs universitet | TIBKAT | 2018

Ergebnisse anzeigen: 10 | 20 | 50

Feedback