Proof of the Decidability of the Uniform Word Problem for Monads Assisted by Elf (1994)

Cached

Download Links

by Wolfgang Gehrke
Citations:2 - 1 self