scientific article

zbMath0976.03516MaRDI QIDQ2762629

Hubert Comon, Claude Kirchner

Publication date: 9 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2002/2002047.

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items

Incremental variable splitting ⋮ Concolic Testing in CLP ⋮ Anti-patterns for rule-based languages ⋮ Abstract canonical presentations