A formal system for quantum communication environments (2011)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; ARAUJO, ANDERSON BERALDO DE - IME
- Unidade: IME
- Subjects: INTELIGÊNCIA ARTIFICIAL; COMPUTAÇÃO QUÂNTICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2011
- Source:
- Título: Anais
- Conference titles: Congresso da Sociedade Brasileira de Computação
-
ABNT
ARAUJO, Anderson de e FINGER, Marcelo. A formal system for quantum communication environments. 2011, Anais.. Porto Alegre: SBC, 2011. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf. Acesso em: 05 out. 2024. -
APA
Araujo, A. de, & Finger, M. (2011). A formal system for quantum communication environments. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf -
NLM
Araujo A de, Finger M. A formal system for quantum communication environments [Internet]. Anais. 2011 ;[citado 2024 out. 05 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf -
Vancouver
Araujo A de, Finger M. A formal system for quantum communication environments [Internet]. Anais. 2011 ;[citado 2024 out. 05 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf - Classical and quantum satisfiability
- Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Resource use pattern analysis for predicting resource availability in opportunistic grids
- Completeness for cut-based abduction
- On the predictability of classical propositional logic
- Automated classification of pathology reports
- Minimal axiomatizations and algebraic rings: a conjectured relationship
- Towards an efficient prover for the C1 paraconsistent logic
- Computational solutions for structural constraints: learning structural permissions in categorial grammar
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas