Search CORE

4 research outputs found

Parity Graph-Driven Read-Once Branching Programs and An Exponential Lower Bound for Integer Multiplication

Author: A Razborov
B Bollig
B Bollig
B Bollig
D Sieling
H Brosenne
I Wegener
I Wegener
J Gergov
J Gergov
JS Thathachar
M Ajtai
M Krause
N Alon
P Beame
P Beame
P Savickÿ
P Woelfel
R. E. Bryant
RE Bryant
S Ponzio
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2002
Field of study

Restricted branching programs and hardware verification

Author: Ponzio Stephen J. (Stephen John)
Publication venue: Massachusetts Institute of Technology
Publication date: 01/01/1995
Field of study

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.Includes bibliographical references (p. 71-77).by Stephen John Ponzio.Ph.D

Separating ⊕L from L, NL, co-NL and AL (=P) for oblivious turing machines of linear access time

Author: Krause Matthias
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1990
Field of study

MAnnheim DOCument Server

38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, December 11-13, 2018, Ahmedabad, India

Author: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 38. 2018 Ahmedabad
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/12/2018
Field of study

Digitale Bibliothek Thüringen

core

core