Program reasoning

Applied Filters

People

Publications

Publication Date

4 Results for: Book/Issue: Proceedings of the Fourth Annual Symposium on Logic in computer scienceEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,843,210 records)|Limit your search to The ACM Full-Text Collection (775,266 records)

Showing 1 - 4of4 Results

Select All

Export Citations Save to Binder

per page:

Recency

Article
June 1989
Polynomially graded logic
Proceedings of the Fourth Annual Symposium on Logic in computer sciencePages 375–385
0
Metrics
Total Citations0
Article
June 1989
Compositional model checking
Proceedings of the Fourth Annual Symposium on Logic in computer sciencePages 353–362
91
Metrics
Total Citations91
Article
June 1989
Elf: a language for logic definition and verified metaprogramming
- F. Pfening
Proceedings of the Fourth Annual Symposium on Logic in computer sciencePages 313–322
15
Metrics
Total Citations15
Article
June 1989
Unified algebras and institutions
- P. Mosses
Proceedings of the Fourth Annual Symposium on Logic in computer sciencePages 304–312
3
Metrics
Total Citations3