ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Fitting semantics for conditional term rewriting
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |