Functional and Logic Programming

DOI10.1007/B96926zbMATH Open1122.68371OpenAlexW2506581943MaRDI QIDQ5308019FDOQ5308019

Authors: Santiago Escobar 

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96926

Recommendations

• Natural Rewriting for General Term Rewriting Systems
• Term Rewriting and Applications
• A needed narrowing strategy
• scientific article; zbMATH DE number 1761888
• Strongly sequential and inductively sequential term rewriting systems

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Cited In (9)

• Term Rewriting and Applications
• Title not available (Why is that?)
• Narrowing and rewriting logic: from foundations to applications
• Functional logic programming in Maude
• A thorough treatment of highly-efficient NTRU instantiations
• Complete symbolic reachability analysis using back-and-forth narrowing
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Natural Rewriting for General Term Rewriting Systems
• Functional Logic Programming: From Theory to Curry

Uses Software

• BABEL

This page was built for publication: Functional and Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308019)