IGPL
2008
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
14 years 11 months ago
Linh Anh Nguyen
| Added |
12 Dec 2010 |
| Updated |
12 Dec 2010 |
| Type |
Journal |
| Year |
2008 |
| Where |
IGPL |
| Authors |
Linh Anh Nguyen |
Comments (0)