scientific article

zbMath1272.94088MaRDI QIDQ2851056

Dilia E. Rodriguez

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610582537X

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Twenty years of rewriting logic

Uses Software

• Maude

Cites Work

• Maude
• Maude: specification and programming in rewriting logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: