Back
  1. Home
  3. Detailled Reference
Request a copy
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Uniform Circuits & Boolean Proof Nets
Mogbil, Virgile; Rahli, Vincent
2007 • In LFCS 2007
Peer reviewed
Permalink
https://hdl.handle.net/10993/22675
DOI
10.1007/978-3-540-72734-7_28
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
submission26_lfcs07.pdf
Author preprint (275.93 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Mogbil, Virgile
Rahli, Vincent ;  Heriot-Watt Univesity > School of Mathematical and Computer Sciences
External co-authors :
yes
Language :
English
Title :
Uniform Circuits & Boolean Proof Nets
Publication date :
2007
Event name :
LFCS 2007
Event date :
June 2007
Main work title :
LFCS 2007
Peer reviewed :
Peer reviewed
Commentary :
401--421
Available on ORBilu :
since 30 November 2015

Statistics

Number of views
37 (0 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
5
Scopus citations®
without self-citations
4
OpenCitations
 
2
WoS citations™
 
6

Bibliography

Similar publications


Contact ORBilu