Eva Richter

According to our database, Eva Richter authored at least 3 papers between 2002 and 2006.

Collaborative distances:

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

2006

Automating Proofs in Category Theory.

Dexter Kozen, Christoph Kreitz, Eva Richter

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2003

On revising fuzzy belief bases.

Richard Booth, Eva Richter

Proceedings of the UAI '03, 2003

2002

Nonmonotonic inference operators for fuzzy logic.

Eva Richter

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002