NARROWER: a new algorithm for unification and its application to logic programming

Authors:
Pierre Rety;Claude Kirchner;Hélène Kirchner;Pierre Lescanne
Affiliations:
Centre de Recherche en Informatique de Nancy, Nancy, France;Centre de Recherche en Informatique de Nancy, Nancy, France;Centre de Recherche en Informatique de Nancy, Nancy, France;Centre de Recherche en Informatique de Nancy, Nancy, France
Venue:
Proc. of the first international conference on Rewriting techniques and applications
Year:
1985

Citing 0
Cited 6

The PSG system: from formal language definitions to interactive programming environments

ACM Transactions on Programming Languages and Systems (TOPLAS)
Enumerating outer narrowing derivationsfor constructor-based term rewriting systems

Journal of Symbolic Computation
Basic narrowing revisited

Journal of Symbolic Computation
Higher-order equational logic programming

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Language generation and verification in the NRL protocol analyzer

CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Narrowing Strategies For Arbitrary Canonical Rewrite Systems

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract