Uniform Circuits, Boolean Proof Nets

Virgile Mogbil, Vincent Rahli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)
Original languageEnglish
Title of host publicationLogical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Number of pages21
Publication statusPublished - 2007

Cite this