Travelled to:1 × USA
Collaborated with:∅ T.B.Baird R.W.Wilkerson
Talks about:complet (2) reduct (2) set (2) constraint (1) modulo (1) commut (1) associ (1) ident (1)
Person: Gerald E. Peterson
DBLP: Peterson:Gerald_E=
Contributed to:
1990
1989Wrote 2 papers:
- CADE-1990-Peterson #constraints #reduction #set
- Complete Sets of Reductions with Constraints (GEP), pp. 381–395.
- RTA-1989-BairdPW #commutative #reduction #set
- Complete Sets of Reductions Modulo Associativity, Commutativity and Identity (TBB, GEP, RWW), pp. 29–44.