Magnus Steinby - Academia.edu (original) (raw)
Uploads
Papers by Magnus Steinby
Abstract. We consider varieties of recognizable subsets of many-sorted finitely generated free al... more Abstract. We consider varieties of recognizable subsets of many-sorted finitely generated free algebras over a given variety, varieties of congruences of such al-gebras, and varieties of finite many-sorted algebras. A variety theorem that es-tablishes bijections between the classes ...
Fundamenta Informaticae
ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar... more ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
Theoretical Computer Science, 1994
T. and M. Steinby, The inference of tree languages from finite samples: an algebraic approach, Th... more T. and M. Steinby, The inference of tree languages from finite samples: an algebraic approach, Theoretical
Abstract. We consider varieties of recognizable subsets of many-sorted finitely generated free al... more Abstract. We consider varieties of recognizable subsets of many-sorted finitely generated free algebras over a given variety, varieties of congruences of such al-gebras, and varieties of finite many-sorted algebras. A variety theorem that es-tablishes bijections between the classes ...
Fundamenta Informaticae
ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar... more ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
Theoretical Computer Science, 1994
T. and M. Steinby, The inference of tree languages from finite samples: an algebraic approach, Th... more T. and M. Steinby, The inference of tree languages from finite samples: an algebraic approach, Theoretical