https://hal.inria.fr/inria-00000302
Contributor : Areces Carlos <>
Submitted on : Friday, September 23, 2005 - 4:37:23 PM Last modification on : Friday, September 23, 2005 - 4:37:23 PM
Identifiers
HAL Id : inria-00000302, version 1
Citation
C. Areces, P. Blackburn. Bringing them all together. Journal of Logic and Computation, Oxford University Press (OUP), 2001, Journal of Logic and Computation, 11 (5), pp.669--2001. ⟨inria-00000302⟩