00838nam0-22003131i-450-9900010823304033212-287-00416-5000108233FED01000108233(Aleph)000108233FED0100010823320000920d1993----km-y0itay50------bafraComplexité et DécidabilitéPatrick DehornoyParis [etc.]Springer-Verlag1993200 p.24 cmMathématiques & applications12LogicaRicorsività160Dehornoy,Patrick51512ITUNINARICAUNIMARCBK9900010823304033217-28519641FI1FI1Complexité et Décidabilité336305UNINAING01