First-order modular logic programs and their conservative extensions.
Saved in:
| Title: | First-order modular logic programs and their conservative extensions. |
|---|---|
| Authors: | HARRISON, AMELIA1, LIERLER, YULIYA2, Carro, Manuel, King, Andy |
| Source: | Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p755-770. 16p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
