coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] BDDs/MDDs in Coq

From: Nestor Catano <catano AT cs.york.ac.uk>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] BDDs/MDDs in Coq
Date: Fri, 17 Sep 2004 11:54:14 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Department of Computer Science, University of York

Hi,

Does anyone know of work on modelling BDDs (Binary Decision Diagrams) or
MDDs(Multivalued Decision Diagrams) in Coq or in any other
proof-assistant/prover ?

Thanks,
--
Nestor Catano.

[Coq-Club] BDDs/MDDs in Coq, Nestor Catano
- Re: [Coq-Club] BDDs/MDDs in Coq, Kumar Neeraj Verma