Generalized rational relations and their logical definability
Christian Choffrut Leucio de Azevedo Guerra; International Symposium on Fundamentals of Computation Theory (FCT97) (11. 1997 Krakow)
proceedings Berlin : Springer, 1997Krakow Springer 1997
Item não circula. Consulte sua biblioteca.(Acessar)