DBLP:conf/vldb/SheardS85 + redirect page
Supporting Offics Document Architectures with Constrained Types + Has citation
Coping with Complexity in Automated Reasoning about Database Systems + Has identifier
| Coping with Complexity in Automated Reasoning about Database Systems |
Has publishing details
pp. 426-435, 1985
Has title
Coping with Complexity in Automated Reasoning about Database Systems
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb85.html#SheardS85
Has where published
VLDB
Has year
1985
Has author
Tim Sheard +, David W. Stemple +
Has identifier
Coping with Complexity in Automated Reasoning about Database Systems +
Categories Proceeding Paper +
|
