Uniform Circuits,  Boolean Proof Nets

Virgile Mogbil, Vincent Rahli

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Original language	English
Title of host publication	Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Pages	401-421
Number of pages	21
DOIs	https://doi.org/10.1007/978-3-540-72734-728
Publication status	Published - 2007

Access to Document

@inproceedings{fbfd9db4dd6f48b1baa4b65a30563376,

title = "Uniform Circuits, Boolean Proof Nets",

author = "Virgile Mogbil and Vincent Rahli",

year = "2007",

doi = "10.1007/978-3-540-72734-728",

language = "English",

pages = "401--421",

booktitle = "Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings",

}