Citations de notices
Style de citation APA (7e éd.)
Leivant, D. M. (2014). Global semantic typing for inductive and coinductive computing. Logical Methods in Computer Science e.V.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation Chicago (17e éd.)
Leivant, Daniel M. Global Semantic Typing for Inductive and Coinductive Computing. Logical Methods in Computer Science e.V, 2014.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation MLA (9e éd.)
Leivant, Daniel M. Global Semantic Typing for Inductive and Coinductive Computing. Logical Methods in Computer Science e.V, 2014.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Attention : ces citations peuvent ne pas être correctes à 100%.