Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1987 | 10.1007/3-540-18740-5_68 | FCT |
Keywords | Field | DocType |
logic programming,formal systems | Functional logic programming,Discrete mathematics,Computational logic,Autoepistemic logic,Programming language,Horn clause,Computer science,Prolog,Philosophy of logic,Logic programming,Dynamic logic (modal logic) | Conference |
Volume | Issue | ISSN |
278 | 1 | 0302-9743 |
ISBN | Citations | PageRank |
3-540-18740-5 | 1 | 0.37 |
References | Authors | |
2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
GE MINTS | 2 | 1 | 0.37 |