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) -
Ciencia unificada y empirismo lógico: una réplica [a Max Horkheimer] (1937)
by: Otto Neurath
Published: (2020-12-01) -
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)