Miguel Martinez-Alvarez, Marco Bonzanini, Thomas Roelleke. Mathematical Specification and Logic Modelling in the context of IR. In Oren Kurland, Donald Metzler, Christina Lioma, Birger Larsen, Peter Ingwersen, editors, International Conference on the Theory of Information Retrieval, ICTIR '13, Copenhagen, Denmark, September 29 - October 02, 2013. pages 30, ACM, 2013. [doi]
Abstract is missing.