Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„Fixpoint Algorithms“
Suchergebnisse
3 Treffer
Towards Incremental and Modular Context-Sensitive Analysis
Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V.
2018
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Fixpoint transformations and parallel asynchronous iterative algorithms
Wei, Jiawang
1994
Oldenbourg
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
Banerjee, Tamajit ; Majumdar, Rupak ; Mallik, Kaushik ; Schmuck, Anne-Kathrin ; Soudjani, Sadegh