Title | ||
---|---|---|
Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic) |
Year | DOI | Venue |
---|---|---|
1985 | 10.1016/S0019-9958(85)80002-4 | Information and Control |
Keywords | Field | DocType |
dynamic logic,first order | Dynamic programming,Discrete mathematics,Programming language,First order,Computer science,Theoretical computer science,Dynamic logic (digital electronics),Flowchart,Recursion | Journal |
Volume | Issue | ISSN |
65 | 2 | 0019-9958 |
Citations | PageRank | References |
2 | 0.42 | 7 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. J. Kfoury | 1 | 461 | 47.34 |