scientific article
From MaRDI portal
Publication:3817580
zbMath0666.68015MaRDI QIDQ3817580
Hubert Bertling, Renate Schäfers, Harald Ganzinger
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Completion-time optimization of rewrite-time goal solving ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ From Search to Computation: Redundancy Criteria and Simplification at Work ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
This page was built for publication:
