„Terminierung <Informatik>“

Suchergebnisse

12 Treffer

• Termination of the Iterative Proportional Fitting Procedure
  Reffel, Fabian 2014 Universität Augsburg
• Automatic authorization analysis
  Lamotte-Schubert, Manuel ; Weidenbach, Christoph 2015 Saarländische Universitäts- und Landesbibliothek
• Termination analysis for imperative programs operating on the heap
  Brockschmidt, Marc 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• The DP framework for proving termination of term rewriting
  Thiemann, René 2007 RWTH Aachen
• SAT encodings – from constraint-based termination analysis to circuit synthesis
  Fuhs, Carsten 2012 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• On the termination of the chase algorithm
  Meier, Michael
• Fairer Austausch
  Vogt, Holger
• Fairer Austausch
  Vogt, Holger
• SAT encodings – from constraint-based termination analysis to circuit synthesis
  Fuhs, Carsten 2012 RWTH, Fachgruppe Informatik
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• The DP framework for proving termination of term rewriting
  Thiemann, René 2007 RWTH Aachen