Lehmann, Helko and Leuschel, Michael (2000) Decidability Results for the Propositional Fluent Calculus. LLoyd, John (ed.) Proceedings of the International Conference on Computational Logic (CL'2000). pp. 762-776 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: July 2000
Additional Information:
Address: London, UK
Venue - Dates:
Proceedings of the International Conference on Computational Logic (CL'2000), 2000-06-30
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253007
URI: http://eprints.soton.ac.uk/id/eprint/253007
ISBN: 3-540-67797-6
PURE UUID: 6a4c829e-bdfa-4868-a89f-7da987d1c539
Catalogue record
Date deposited: 31 Jul 2000
Last modified: 08 Jan 2022 11:44
Export record
Contributors
Author:
Helko Lehmann
Author:
Michael Leuschel
Editor:
John LLoyd
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.