scientific article

zbMath0708.68031MaRDI QIDQ3490956

Jia-Huai You

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

narrowingterm rewriting systemequational language

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) Artificial intelligence (68T99) Grammars and rewriting systems (68Q42)

Related Items (1)

An optimal narrowing strategy for general canonical systems

This page was built for publication: