Logico−Numerical Max−Strategy−Iteration
Main Authors: | Schrammel, P, Subotic, P |
---|---|
Format: | Conference item |
Published: |
Springer
2013
|
Similar Items
-
Speeding Up Logico−Numerical Strategy Iteration
by: Monniaux, D, et al.
Published: (2014) -
Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
by: Schrammel, P, et al.
Published: (2011) -
Pluralismo lógico, normatividad y la objetividad del conocimiento lógico
by: María Dolores García-Arnaldos
Published: (2021-12-01) -
Tractatus Logico-Philosophicus
by: Ludwig Wittgenstein
Published: (2023-02-01) -
Empirismo lógico y Teoría Crítica. Comentarios a la réplica de Otto Neurath a Max Horkheimer
by: Jordi Magnet Colomer
Published: (2020-12-01)