scientific article; zbMATH DE number 2043541

zbMath1038.68570MaRDI QIDQ4447245

Temur Kutsia

Publication date: 16 February 2004

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

\textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ CLP(H):Constraint logic programming for hedges ⋮ Solving equations with sequence variables and sequence functions ⋮ Variadic equational matching in associative and commutative theories

Uses Software

• Mathematica
• Theorema
• OTTER
• VAMPIRE
• TPTP
• Waldmeister
• DISCOUNT

This page was built for publication: