scientific article; zbMATH DE number 1980932

zbMath1023.03525MaRDI QIDQ4428306

Temur Kutsia

Publication date: 15 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140278.htm

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Equational Theorem Proving for Clauses over Strings ⋮ Unnamed Item ⋮ Solving equations with sequence variables and sequence functions ⋮ Flat matching ⋮ Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques ⋮ Pattern Unification with Sequence Variables and Flexible Arity Symbols

This page was built for publication: