Christopher Bouchard

According to our database¹, Christopher Bouchard authored at least 4 papers between 2012 and 2014.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2014

Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

2013

On Forward Closure and the Finite Variant Property.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2013

2012

Unification Modulo Chaining.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2012

Some Notes on Basic Syntactic Mutation.

[BibT_eX]

[DOI]

Kimberly A. Gero

Christopher Bouchard

Paliath Narendran

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

Christopher Bouchard

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...