A hidden Herbrand theorem: combining the object and logic paradigms
| Autor: | Goguen, Joseph, Malcolm, Grant, Kemp, Tom |
|---|---|
| Zdroj: | In Journal of Logic and Algebraic Programming 2002 51(1):1-41 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Goguen, Joseph, Malcolm, Grant, Kemp, Tom |
|---|---|
| Zdroj: | In Journal of Logic and Algebraic Programming 2002 51(1):1-41 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect