FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191514)
From MaRDI portal
scientific article; zbMATH DE number 5590996
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science |
scientific article; zbMATH DE number 5590996 |
Statements
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (English)
0 references
6 August 2009
0 references
equations in groups
0 references
equations in monoids
0 references
logical theories
0 references
graph products
0 references
decidability
0 references
algorithms
0 references
solvability of equations
0 references
existential theories
0 references
positive theories
0 references
