1. Repositório da Universidade de Lisboa
  2. Comunidades & Colecções
  3. Faculdade de Ciências (FC)
  4. Departamento de Informática / Department of Informatics (FC-DI)
  5. Lasige - Large-Scale Informatics Systems Laboratory (FC-DI-Lasige)
  6. FC-DI-Lasige - Articles in International Journals
Utilize este identificador para referenciar este registo: http://hdl.handle.net/10455/6025
Registo completo
Campo DCValorIdioma
dc.contributor.authorLuís Cruz-Filipepor
dc.contributor.authorR. Chadhapor
dc.contributor.authorP. Mateuspor
dc.contributor.authorA. Sernadaspor
dc.date.accessioned2010-05-21T17:18:00Zpor
dc.date.accessioned2014-11-14T16:25:42Z-
dc.date.available2010-05-21T17:18:00Zpor
dc.date.available2014-11-14T16:25:42Z-
dc.date.issued2007por
dc.date.issued2007por
dc.identifier.urihttp://hdl.handle.net/10451/14401por
dc.identifier.urihttp://repositorio.ul.pt/handle/10455/6025por
dc.language.isoengpor
dc.publisherTheoretical Computer Sciencepor
dc.rightsopenAccesspor
dc.subjectComputer Sciencepor
dc.titleReasoning about probabilistic sequential programspor
dc.typearticlepor
Aparece nas colecções:FC-DI-Lasige - Articles in International Journals

Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Mostrar registo em formato simples Dê a sua opinião sobre este registo.


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.