scientific article
From MaRDI portal
Publication:2850669
zbMath1272.68119MaRDI QIDQ2850669
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Publication date: 27 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610505084X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Automatic Functional Correctness Proofs for Functional Search Trees ⋮ Solving Sudoku Puzzles with Rewriting Rules
Uses Software
This page was built for publication: