Home Online Resources


Journal of Logic and Computation

Table of Contents

Volume 8, Issue 4: August 1998.

Abductive analysis of modular logic programs
R Giacobazzi
pp. 457-483

Actions speak louder than words: proving bisimilarity for context-free processes
H Hüttel and C Stirling
pp. 485-509

A new method for automated finite model building exploiting failures and symmetries
N Peltier
pp. 511-543

An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
R Cardell-Oliver
pp. 545-567

Simplification of many-valued logic formulas using anti-links
B Beckert, R Hähnle and G Escalada-Imaz
pp. 569-587

Intuitionistic propositional logic with only equivalence has no interpolation
L Hendriks
pp. 589-593

Top of the Page

This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_08/Issue_04/
Last modification: 11 September 1998.
Copyright© Oxford University Press, 1998.