Mathematical Specification and Logic Modelling in the context of IR.

Miguel Martinez-Alvarez, Marco Bonzanini, Thomas Roelleke

Browse the full ICTIR paper archive.