Finding models through graph saturation
| Autor: | Joosten, Sebastiaan J.C. |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming November 2018 100:98-112 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Joosten, Sebastiaan J.C. |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming November 2018 100:98-112 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect