1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | mtc-m16b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 6qtX3pFwXQZGivnK2Y/Sqyz7 |
Repositório | sid.inpe.br/mtc-m17@80/2007/12.11.14.02 (acesso restrito) |
Última Atualização | 2013:04.11.19.27.26 (UTC) seeger05 |
Repositório de Metadados | sid.inpe.br/mtc-m17@80/2007/12.11.14.02.22 |
Última Atualização dos Metadados | 2018:06.05.03.36.15 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
DOI | 10.1016/j.entcs.2006.12.010 |
ISSN | 1571-0661 |
Chave de Citação | AltenkirchGratVizzSabr:2007:AlPuQu |
Título | An algebra of pure quantum programming |
Ano | 2007 |
Mês | March |
Data de Acesso | 05 maio 2024 |
Tipo Secundário | PRE PI |
Número de Arquivos | 1 |
Tamanho | 331 KiB |
|
2. Contextualização | |
Autor | 1 Altenkirch, Thorsten 2 Grattage, Jonathan 3 Vizzotto, Juliana Kaizer 4 Sabry, Amr |
Grupo | 1 2 3 RSU-INPE-MCT-BR |
Afiliação | 1 The University of Nottingham, UK 2 The University of Nottingham, UK 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Indiana University, USA |
Endereço de e-Mail do Autor | 1 txa@cs.nottingham.ac.uk 2 jjg@cs.nottingham.ac.uk 3 juvizzotto@gmail.com 4 sabry@indiana.edu |
Revista | Electronic Notes in Theoretical Computer Science |
Volume | 170 |
Páginas | 23-47 |
Histórico (UTC) | 2008-05-08 22:24:24 :: seeger05 -> administrator :: 2010-05-11 02:13:08 :: administrator -> banon :: 2010-05-12 18:46:25 :: banon -> administrator :: 2013-04-11 19:23:10 :: administrator -> seeger05 :: 2007 2013-04-11 19:27:26 :: seeger05 -> administrator :: 2007 2018-06-05 03:36:15 :: administrator -> seeger05 :: 2007 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | denotational semantics completeness normalisation |
Resumo | We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation-by-evaluation approach. The current work focuses on the pure fragment of QML, omitting measurements. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CRCRS > An algebra of... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | 1-s2.0-S1571066107000540-main.pdf |
Grupo de Usuários | administrator banon seeger05 |
Visibilidade | shown |
Política de Arquivamento | denypublisher allowfinaldraft |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3EUFCFP |
URL (dados não confiáveis) | http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4N5F0H9-3&_user=687358&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000037899&_version=1&_urlVersion=0&_userid=687358&md5=88e4497f9c66fd6cfdc3758a1e851c2e |
Divulgação | PORTALCAPES; COMPENDEX. |
Acervo Hospedeiro | lcp.inpe.br/ignes/2004/02.12.18.39 cptec.inpe.br/walmeida/2003/04.25.17.12 |
|
6. Notas | |
Campos Vazios | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark mirrorrepository nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork |
|
7. Controle da descrição | |
e-Mail (login) | seeger05 |
atualizar | |
|