scientific article; zbMATH DE number 5883529

MaRDI QIDQ2996857zbMATH OpenFDO

Authors

Publication date 3 May 2011

Full work available at URL http://cs.emis.de/LIPIcs/volltexte/lipics-complete/lipics-vol1-stacs2008-complete_.pdf, http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=08001

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(3)

• STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23--25, 2006. Proceedings
• scientific article; zbMATH DE number 4070826 (Why is no real title available?)
• scientific article; zbMATH DE number 1375588 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996857)