Year | Venue | Keywords |
---|---|---|
2013 | Journal of Applied Non-Classical Logics | linear logic,answer set programming,resource management |
Field | DocType | Volume |
Resource management,Programming language,Negation,Rasp,Algorithm,Theoretical computer science,Linear temporal logic,Linear logic,Logic programming,Versa,Answer set programming,Mathematics | Journal | 23 |
Issue | Citations | PageRank |
1-2 | 6 | 0.49 |
References | Authors | |
20 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefania Costantini | 1 | 536 | 59.90 |
Andrea Formisano | 2 | 301 | 32.94 |