scientific article
From MaRDI portal
Publication:3696486
zbMath0576.68002MaRDI QIDQ3696486
Pierre Réty, Pierre Lescanne, Claude Kirchner, Hélène Kirchner
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (21)
An optimal narrowing strategy for general canonical systems ⋮ Three systems for cryptographic protocol analysis ⋮ Detecting redundant narrowing derivations by the LSE-SL reducibility test ⋮ On narrowing, refutation proofs and constraints ⋮ Simplifying conditional term rewriting systems: Unification, termination and confluence ⋮ A class of confluent term rewriting systems and unification ⋮ Kernel-LEAF: A logic plus functional language ⋮ Unification modulo an equality theory for equational logic programming ⋮ History and basic features of the critical-pair/completion procedure ⋮ Narrowing vs. SLD-resolution ⋮ Enumerating outer narrowing derivations for constructor-based term rewriting systems ⋮ Optimization of rewriting and complexity of rewriting ⋮ Code selection by inversion of order-sorted derivors ⋮ Conditional equational theories and complete sets of transformations ⋮ A compositional semantic basis for the analysis of equational Horn programs ⋮ Logic and functional programming by retractions ⋮ Narrowing based procedures for equational disunification ⋮ A semantic approach to order-sorted rewriting ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes ⋮ NARROWER ⋮ Basic narrowing revisited
Uses Software
This page was built for publication:
