Christopher Bouchard

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Equational Theories

Top Venues

Log. Methods Comput. Sci.

Publications

Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. Log. Methods Comput. Sci. 10 (1) (2014)
Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran
On Forward Closure and the Finite Variant Property. FroCos (2013)
Kimberly A. Gero, Christopher Bouchard, Paliath Narendran
Some Notes on Basic Syntactic Mutation. UNIF (2012)
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Chaining. LATA (2012)