scientific article; zbMATH DE number 1761889
From MaRDI portal
Publication:4537508
zbMath0988.68561MaRDI QIDQ4537508
Germán Vidal, Moreno Falaschi, María Alpuente
Publication date: 1 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A compositional semantic basis for the analysis of equational Horn programs, Termination of Narrowing Using Dependency Pairs