( en | de | ru )

 

Disambiguierung von "Carette, Jacques"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hierarchical Representations with Signatures for Large Expression Management.

, , , und . AISC, Volume 4120 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jacques Rakotondranary

Jacques Latta

Jacques Neumann

Jacques Clees

Jacques Minlo

 

Weitere Publikationen von Autoren mit dem selben Namen

Embracing the Laws of Physics: Three Reversible Models of Computation., , und . CoRR, (2018)Understanding expression simplification.. ISSAC, Seite 72-79. ACM, (2004)Bimonadic Semantics for Basic Pattern Matching Calculi., , und . MPC, Volume 4014 von Lecture Notes in Computer Science, Seite 253-273. Springer, (2006)HOL Light QE., , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 215-234. Springer, (2018)Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities., , und . CoRR, (2018)Effects of Bezel Size in Large Tiled Display Gaming., , , und . SUI, Seite 129. ACM, (2015)High-Level Theories., und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 232-245. Springer, (2008)Symbolic Domain Decomposition., , , und . AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 172-188. Springer, (2010)Computing with Semirings and Weak Rig Groupoids., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 123-148. Springer, (2016)A Library of Reversible Circuit Transformations (Work in Progress)., , und . RC, Volume 11106 von Lecture Notes in Computer Science, Seite 339-345. Springer, (2018)