Skip to main content
Kent Academic Repository

Item Removed: Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq (long version)

Kriener, Jael, King, Andy, Blazy, Sandrine (2014) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq (long version). Science of Computer Programming, . ISSN 0167-6423. (Submitted) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37599)

Item Type: Article
Subjects: A General Works
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 12 Dec 2013 22:55 UTC
Last Modified: 16 Feb 2021 15:30 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/37599 (The current URI for this page, for reference purposes)

Total unique views for this document in KAR since July 2020. For more details click on the image.