Reference : Uniform Circuits & Boolean Proof Nets
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22675
Uniform Circuits & Boolean Proof Nets
English
Mogbil, Virgile [> >]
Rahli, Vincent mailto [Heriot-Watt Univesity > School of Mathematical and Computer Sciences]
2007
LFCS 2007
Yes
LFCS 2007
June 2007
http://hdl.handle.net/10993/22675
401--421

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
submission26_lfcs07.pdfAuthor preprint269.46 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.