Login / Signup
Bruno Barras
Publication Activity (10 Years)
Years Active: 1996-2020
Publications (10 Years): 4
Top Topics
Pattern Matching
User Interface
Legal Documents
Interactive Theorem Proving
Top Venues
CoRR
MKM/Calculemus/DML
ITP
Math. Struct. Comput. Sci.
</>
Publications
</>