Journal of Logic and Computation
ISSN 0955-792X, Online ISSN: 1465-363X
visit publication homepage
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, cincurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
Publisher: Oxford University Press
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
- Volume 19
- Number 3, 27 June 2009
- Number 2, 21 April 2009
- Number 1, 20 February 2009
- Volume 18
- Number 6, 27 December 2008
- Number 5, 15 October 2008
- Number 2, 16 April 2008
- Volume 16
- Number 5, October 2006
- Number 4, August 2006
- Number 3, June 2006
- Number 2, April 2006
- Number 1, February 2006
- Volume 15
- Number 6, December 2005
- Number 5, October 2005
- Number 4, August 2005
- Number 3, June 2005
- Number 2, April 2005
- Number 1, February 2005
- Volume 14
- Number 6, December 2004
- Number 5, October 2004
- Number 4, August 2004
- Number 3, June 2004
- Number 2, April 2004
- Number 1, February 2004
- Volume 13
- Number 6, December 2003
- Number 5, October 2003
- Number 4, August 2003
- Number 3, June 2003
- Number 2, April 2003
- Number 1, February 2003
- Volume 12
- Number 6, December 2002
- Number 5, October 2002
- Number 4, August 2002
- Number 3, June 2002
- Number 2, April 2002
- Number 1, February 2002
- Volume 11
- Number 6, 1 December 2001
- Number 5, 1 October 2001
- Number 4, 1 August 2001
- Number 3, 1 June 2001
- Number 2, 1 April 2001
- Number 1, 1 February 2001
- Volume 10
- Number 6, December 2000
- Number 5, October 2000
- Number 4, August 2000
- Number 3, June 2000
- Number 2, April 2000
- Number 1, February 2000
- Volume 9
- Number 6, 1 December 1999
- Number 5, October 1999
- Number 4, August 1999
- Number 3, 1 June 1999
- Number 2, April 1999
- Number 1, February 1999
RSS for Latest Issue
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
Click here for Page Help