Program reasoning

Applied Filters

People

Publications

Publication Date

2 ResultsEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,736,818 records)|Limit your search to The ACM Full-Text Collection (750,648 records)

Showing 1 - 2of2 Results

Select All

Export Citations Save to Binder

per page:

Recency

article
December 1989
A model for reasoning about persistence and causation
- Thomas Dean,
- Keiji Kanazawa
Computational Intelligence (COMI), Volume 5, Issue 3Aug. 1990, Pages 142–150https://doi.org/10.1111/j.1467-8640.1989.tb00324.x
247
Metrics
Total Citations247
article
December 1989
Expressing unrestricted grammars by extended definite clause grammars
- Erik Knudsen
Computational Intelligence (COMI), Volume 5, Issue 3Aug. 1990, Pages 127–133https://doi.org/10.1111/j.1467-8640.1989.tb00322.x
0
Metrics
Total Citations0