Decidable metric logics
| Autor: | Hirshfeld, Yoram, Rabinovich, Alex |
|---|---|
| Zdroj: | In Information and Computation 2008 206(12):1425-1442 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Hirshfeld, Yoram, Rabinovich, Alex |
|---|---|
| Zdroj: | In Information and Computation 2008 206(12):1425-1442 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect