Recent Submissions

  • Logarithmic space counting classes 

    Álvarez Faura, M. del Carme; Jenner Núñez, Birgit (1990-01)
    External research report
    Open Access
    We consider the logarithmic space counting classes #L, opt-L, and span-L, which are defined analogously to their polynomial time counterparts. We obtain complete functions for these three classes in terms of graphs and ...
  • Finite memory devices in CSP 

    Gabarró Vallès, Joaquim; Serna Iglesias, María José (1990-01)
    External research report
    Open Access
    It is often said that a state based approach to CSP is inadequate, however we present here some (theoretical) hints against this assertion. A new class of processes modelled by finite memory devices are considered. These ...
  • Constraints for behavioural specifications 

    Orejas Valdés, Fernando; Nivela Alós, M. Pilar Brígida (1990)
    External research report
    Open Access
    Behavioural specifications with constraints for the incremental development of algebraic specifications are presented. The behavioural constraints correspond to the completely defined subparts of a given incomplete behavioural ...
  • Parallel complexity in the design and analysis of concurrent systems 

    Álvarez Faura, M. del Carme; Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1990-10)
    External research report
    Open Access
    We study the parallel complexity of three problems on concurrency: decision of firing sequences for Petri nets, trace equivalence for partially commutative monoids, and strong bisimilarity in finite transition systems. We ...
  • Deletion algorithms for binary search trees 

    Martínez Parra, Conrado; Messeguer Peypoch, Xavier (1990-10-19)
    External research report
    Open Access
    The effect of updating (deletions/insertions) on binary search trees has been an interesting research topic for almost three decades, but in the last five years there have been a few contributions, due partially to the ...
  • On translating partial to total specifications with applications to theorem proving for partial specifications 

    Navarro Gómez, Marisa; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1989-09-12)
    External research report
    Open Access
    In this paper it is shown how partial specifications (with strong equations) can be translated into total ones. This translation is proven to be sound and complete, in the sense that a theorem is valid for all models of ...
  • Parametrized conditional log-specifications: proof theory and correctness 

    Navarro Gómez, Marisa; Orejas Valdés, Fernando (1989)
    External research report
    Open Access
    Conditional LOG-specifications extend standard conditional specifications in that the booleans are considered to be built-in. Formally, there is an initial constraint on booleans in every specification. It is shown that ...
  • Development of algebraic specifications with constraints 

    Orejas Valdés, Fernando; Sacristán Adinolfi, Vera; Clérici Martínez, Silvia Inés (1989)
    External research report
    Open Access
    A formal framework for the development of algebraic specifications is presented. Ther main issues concerning the approach are the following: we allow to deal with incomplete specifications during the design process. This ...
  • Funcions booleanes: caracterització dels nivells de la jerarquia booleana 

    Álvarez Faura, M. del Carme (1987-11)
    External research report
    Open Access
    We study two hierarchies defined beetwen NP and ¿p2: The K-Boolean Hierarchy, when K=NP, (Wechsung, Wagner (1985)), and the Boolean Hierarchy (Cai, Hemachandra (1986)). Every level of these two hierarchies is caracterized ...
  • Classes of bounded nondeterminism 

    Díaz Cort, Josep; Torán Romero, Jacobo (1988)
    External research report
    Open Access
    We study certain language classes located between P and N P that are defined by polynomial time machines with a bounded amount of nondeterminism. We observe that these classes have complete problems and find a characterization ...
  • Recent developments in structural complexity 

    Díaz Cort, Josep; Cucker Farkas, J.F. (1988)
    External research report
    Open Access
    This survey presents some of the recent developments in the field of structural complexity. The survey does not intend to give an exhaustive look in each one of the areas of structural complexity which have been developed ...
  • Behavioural approach to modular system specification 

    Ehrig, Hartmut; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1988-07)
    External research report
    Open Access
    The algebraic approach to modular specifications as developed by the first author during the last five years is joined with the behavioural approach to algebraic specifications introduced recently by the last two authors. ...

View more