Concepedia

Thierry Boy de la Tour

TB

Statistics

Publications

2

Citations

87

H-Index

2

Active since

1987

Affiliations

Centre National de la Recherche Scientifique(Current)

Thierry Boy de la Tour is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and computational linguistics.

Top concepts

Publications per year

1987–1992

2

Publications

2

An optimality result for clause form translation

Thierry Boy de la Tour · Journal of Symbolic Computation · 1992 · 68 citations

, , +9

Proof analogy in interactive theorem proving: a method to express and use it via second order pattern matching

Thierry Boy de la Tour, Ricardo Caferra · National Conference on Artificial Intelligence · 1987 · 19 citations

, , +13

1–2 of 2