Mario Chiari

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Publications

Claudia Deco, Cristina Bender, J. Saer, Mario Chiari, Regina Motz
Semantic Refinement for Web Information Retrieval. LA-WEB (2005)
Mario Chiari, Jan Krajícek
Lifting independence results in bounded arithmetic. Arch. Math. Log. 38 (2) (1999)
Mario Chiari, Jan Krajícek
Witnessing Functions in Bounded Arithmetic and Search Problems. J. Symb. Log. 63 (3) (1998)