A relational model for temporal logic.
| Autor: | von Karger, B1, Berghammer, R1 |
|---|---|
| Zdroj: | Logic Journal of the IGPL. 1998, Vol. 6 Issue 2, p157-173. 17p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | von Karger, B1, Berghammer, R1 |
|---|---|
| Zdroj: | Logic Journal of the IGPL. 1998, Vol. 6 Issue 2, p157-173. 17p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|