Ara mostrant els elements 1-4 de 4
Bosch i Bastardas, Roger (Data de defensa: 2002-04-12)
Atès que el resum conté caràcters matemàtics especials, s'ha optat per incloure'l com a document annex, amb el títol "Resum.pdf".
Bou Moliner, Félix (Data de defensa: 2004-10-01)
Esta tesis doctoral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos puntos de vista. Los lenguajes estricto débiles son aquellos lenguajes formales que constan de ...
Rius Font, Miquel (Data de defensa: 1992-03-26)
El marc algebraic en què es situa aquesta memòria és l'introduït per Brown i Suzko a [BS], marc que gira entorn la definició de lògica abstracta; una lògica abstracta “L” és una parella (A,C) formada ...
Palacín Cruz, Daniel (Data de defensa: 2012-07-17)
Aquesta tesi té tres objectius. En primer lloc, estudiem generalitzacions de la jerarquia no ample relatives a una família de tipus parcials. Aquestes jerarquies en permeten classificar la complexitat ...