Výsledky vyhľadávania - "CCS Concepts: • Theory of computation→Data structures design and analysis"

Recognizing heterogeneous sequences by rational type expression

Autori: Newton, Jim Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) a ďalší

Prispievatelia: Newton, Jim Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) a ďalší

Zdroj: the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection ; https://hal.archives-ouvertes.fr/hal-01880226 ; the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, Nov 2018, Boston, United States. ⟨10.1145/3281074.3281077⟩

Predmety: CCS Concepts: • Theory of computation→Data structures design and analysis, Type theory, • Computing methodologies →Representation of Boolean functions, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Boston, United States

Time: Boston, United States

Relation: hal-01880226; https://hal.archives-ouvertes.fr/hal-01880226; https://hal.archives-ouvertes.fr/hal-01880226/document; https://hal.archives-ouvertes.fr/hal-01880226/file/newton.18.meta.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/hal-01880226
https://hal.archives-ouvertes.fr/hal-01880226/document
https://hal.archives-ouvertes.fr/hal-01880226/file/newton.18.meta.pdf
https://doi.org/10.1145/3281074.3281077