scientific article; zbMATH DE number 1980914
From MaRDI portal
Publication:4428288
zbMath1023.03530MaRDI QIDQ4428288
Santiago Escobar, Salvador Lucas, María Alpuente, Bernhard Gramlich
Publication date: 15 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Proving termination of context-sensitive rewriting by transformation ⋮ Applications and extensions of context-sensitive rewriting ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy
This page was built for publication: