Now showing items 1-2 of 2

  • About log-on languages : preliminary version 

    Cases Muñoz, Rafael; Gabarró Vallès, Joaquim (1985)
    External research report
    Open Access
    We deal with on-line log-space Turing Machines with markers in the work tapes. In this type of machines we prove the existence of a language L satisfying L ϵ NSPACE_s (log⁡ n) , L ̅ ϵ NSPACE_s (log⁡ n) and L ϵ NSPACE_s ...
  • Average complexity of algorithms on trees 

    Cases Muñoz, Rafael; Steyaert, Jean-Marc (1985)
    External research report
    Open Access
    In this work we count the number of structures resulting from the application of different kinds of structure modifying algorithms on binary trees