Teimuraz Kutsia,
"Solving and Proving in EquationalTheories with Sequence Variables and Flexible Arity Symbols"
, Serie RISC Report Series, Nummer 02-09, 6-2002, T. Kutsia.
Solving and Proving in Equational Theories with Sequence Variables
and Flexible Arity Symbols.
Technical Report 02-09, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, 2002. (155 pages)
Original Titel:
Solving and Proving in EquationalTheories with Sequence Variables and Flexible Arity Symbols
Sprache des Titels:
Englisch
Serie:
RISC Report Series
Number:
02-09
Erscheinungsmonat:
6
Erscheinungsjahr:
2002
Notiz zum Zitat:
T. Kutsia.
Solving and Proving in Equational Theories with Sequence Variables
and Flexible Arity Symbols.
Technical Report 02-09, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, 2002. (155 pages)