Gem citationer
Citação APA (7ª ed.)
Braibant, T., & Pous, D. (2012). Deciding Kleene Algebras in Coq. 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.)
Braibant, Thomas, e Damien Pous. Deciding Kleene Algebras in Coq. Logical Methods in Computer Science e.V, 2012.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Citação MLA (9ª ed.)
Braibant, Thomas, e Damien Pous. Deciding Kleene Algebras in Coq. Logical Methods in Computer Science e.V, 2012.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.