search result

Cover von Special issue on circuit complexity
Search for this author
Year: 1994
Publisher: Basel, Birkhäuser
Series: Computational complexity : 4. 1994, 4
Media group: SPECIAL ISSUE
Cover von Separation of the monotone NC hierarchy
article pp. 234-243 : FOCS 1997 : 38th Annual Symposium on Foundations of Computer Science, 1997 : Proceedings
Author: Raz, Ran; MacKenzie, Pierre Search for this author
Year: 1997
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von The complexity of membership problems for circuits over sets of natural numbers; 3
article : S. 211-244
Search for this author
Year: 2007
Publisher: Berlin, Springer
Count: 3
Media group: ARTICLE
Cover von Does Looking Inside a Circuit Help?

Does Looking Inside a Circuit Help?

Year: 2017
Media group: LIPIcs
Cover von The Power of Programs over Monoids in DA

The Power of Programs over Monoids in DA

Year: 2017
Media group: LIPIcs
Cover von Better Complexity Bounds for Cost Register Automata

Better Complexity Bounds for Cost Register Automata

Year: 2017
Media group: LIPIcs
Cover von Systems and software verification
model-checking techniques and tools
Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Reachability Problems for Infinite-State Systems; 3
pp. 153-180
Search for this author
Year: 2014
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 3
Media group: DAGSTUHL REPORT
Cover von On the complexity of some problems on groups input as multiplication tables
article : pp. 62-69 : 15th Annual IEEE Conference on Computational Complexity, 2000 : Proceedings
Search for this author
Year: 2000
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von Fractional Pebbling and Thrifty Branching Programs

Fractional Pebbling and Thrifty Branching Programs

Year: 2009
Media group: ARTICLE
OPEN V 11.1.0.0