„Terminierung <Informatik>“
Suchergebnisse
12 Treffer
-
Termination of the Iterative Proportional Fitting Procedure
-
Automatic authorization analysis
-
Termination analysis for imperative programs operating on the heap
-
Static termination analysis for prolog using term rewriting and SAT solving
-
The DP framework for proving termination of term rewriting
-
SAT encodings – from constraint-based termination analysis to circuit synthesis
-
On the termination of the chase algorithm
-
Fairer Austausch
-
Fairer Austausch
-
SAT encodings – from constraint-based termination analysis to circuit synthesis
-
Static termination analysis for prolog using term rewriting and SAT solving
-
The DP framework for proving termination of term rewriting