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
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
