scientific article; zbMATH DE number 2090055

zbMath1072.68580MaRDI QIDQ4808726

Temur Kutsia

Publication date: 12 August 2004

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

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

Mathematics Subject Classification ID

Related Items (6)

Solving Proximity Constraints ⋮ Solving equations with sequence variables and sequence functions ⋮ Variadic equational matching in associative and commutative theories ⋮ Regular expression order-sorted unification and matching ⋮ On the relation between context and sequence unification ⋮ Pattern Unification with Sequence Variables and Flexible Arity Symbols

Uses Software

• Mathematica

This page was built for publication: