Alexandre Viel

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Sequent Calculus

Top Venues

Frontiers Virtual Real.

Ann. Math. Artif. Intell.

Publications

Dale Miller, Alexandre Viel
The undecidability of proof search when equality is a logical connective. Ann. Math. Artif. Intell. 90 (5) (2022)
Kévin Nolet, Alexandre Viel, Stéphane Bouchard
"I Like the Way You Move": Validating the Use of Point-Light Display Animations in Virtual Reality as a Methodology for Manipulating Levels of Sexualization in the Study of Sexual Objectification. Frontiers Virtual Real. 2 (2021)