Home Online Resources

Cover

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
Abstract

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

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

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

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

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

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.