Folding Variant Narrowing and Optimal Variant Termination

DOI10.1007/978-3-642-16310-4_5zbMath1306.68069OpenAlexW2058702770MaRDI QIDQ4933278

Ralf Sasse, Santiago Escobar, José Meseguer

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/37697

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Twenty years of rewriting logic ⋮ State space reduction in the Maude-NRL protocol analyzer ⋮ A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ Variant-Based Satisfiability in Initial Algebras

This page was built for publication: Folding Variant Narrowing and Optimal Variant Termination