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) |