Conditional specifications with inequational assumptions

Authors:
C. K. Mohan;M. K. Srivas
Affiliations:
SUNY at Stony Brook, NY;SUNY at Stony Brook, NY
Venue:
1st international workshop on Conditional Term Rewriting Systems
Year:
1988

Citing 0
Cited 2

On the power of algebras with recursion

SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Fitting semantics for conditional term rewriting

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract