Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-44978-7_16 | PADO |
Keywords | Field | DocType |
bottom-up deduction,bottom up,inference rule | Discrete mathematics,Logic program,Computer science,Top-down and bottom-up design,Theoretical computer science,Artificial intelligence,Program analysis,Rule of inference,Bounded function | Conference |
Volume | ISSN | ISBN |
2053 | 0302-9743 | 3-540-42068-1 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Harald Ganzinger | 1 | 1513 | 155.21 |