scientific article; zbMATH DE number 6027830
From MaRDI portal
Publication:5389074
DOI10.4230/LIPIcs.RTA.2011.71zbMath1236.68133MaRDI QIDQ5389074
No author found.
Publication date: 24 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_3efe.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion ⋮ Multi-completion with termination tools ⋮ Extending Maximal Completion (Invited Talk)
This page was built for publication: