Automated Complexity Analysis Based on Ordered Resolution (1996)
Cached
Download Links
by
David Basin
,
Harald Ganzinger
| Venue: | 11TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (NEW BRUNSWICK, NEW JERSEY, U.S. |
| Citations: | 38 - 1 self |
BibTeX
@INPROCEEDINGS{Basin96automatedcomplexity,
author = {David Basin and Harald Ganzinger},
title = {Automated Complexity Analysis Based on Ordered Resolution},
booktitle = {11TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (NEW BRUNSWICK, NEW JERSEY, U.S.},
year = {1996},
pages = {456--465},
publisher = {IEEE Computer Society Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
