scientific article
From MaRDI portal
Publication:2848452
zbMath1272.68092MaRDI QIDQ2848452
Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002264
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Grammars and rewriting systems (68Q42)
Related Items (3)
Combining decision procedures by (model-)equality propagation ⋮ Combining Decision Procedures by (Model-)Equality Propagation ⋮ Sound refactorings
This page was built for publication:
