Mario Chiari

According to our database, Mario Chiari authored at least 3 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Semantic Refinement for Web Information Retrieval.

Claudia Deco, Cristina Bender, J. Saer, Mario Chiari, Regina Motz

Proceedings of the Third Latin American Web Congress (LA-Web 2005), 1 October, 2005

1999

Lifting independence results in bounded arithmetic.

Mario Chiari, Jan Krajícek

Arch. Math. Log., 1999

1998

Witnessing Functions in Bounded Arithmetic and Search Problems.

Mario Chiari, Jan Krajícek

J. Symb. Log., 1998