A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
A Strong Logic Programming View for Static Embedded Implications
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Narrowing and Rewriting Logic: from Foundations to Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Termination of Basic Narrowing
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Termination of narrowing revisited
Theoretical Computer Science
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
Theoretical Computer Science
Symbolic model checking of infinite-state systems using narrowing
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Goals in the propositional horn⊃ language are monotone boolean circuits
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |