Browsing Programa de Doctorat en Software by Subject "51"

Now showing items 1-2 of 2

A type-theoretic approach to proof support for algebraic design frameworks

Mylonakis Pascual, Nicos (Date of defense: 2000-06-30)

A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...

The Complexity of angel-daemons and game isomorphism

García Chacón, Alina (Date of defense: 2012-05-07)

The analysis of the computational aspects of strategic situations is a basic field in Computer Sciences. Two main topics related to strategic games have been developed. First, introduction and analysis of a class of games ...