Citações do registro
Citação APA (7ª ed.)
Bruscoli, P., Guglielmi, A., Gundersen, T., & Parigot, M. (2016). Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. Logical Methods in Computer Science e.V.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Citação do estilo Chicago (17ª ed.)
Bruscoli, Paola, Alessio Guglielmi, Tom Gundersen, e Michel Parigot. Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. Logical Methods in Computer Science e.V, 2016.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Citação MLA (9ª ed.)
Bruscoli, Paola, et al. Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. Logical Methods in Computer Science e.V, 2016.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.