|
Journals in DBLP
Inf. Comput. 1994, volume: 110, number: 1
- Jonathan Sorenson
Polylog Depth Circuits for Integer Factoring and Discrete Logarithms [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:1-18 [Journal]
- Peter Thanisch, George Loizou, Jyrki Nummenmaa
Finding Compact Scheme Forests in Nested Normal Form is NP-Hard [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:19-41 [Journal]
- Raymond T. Ng, V. S. Subrahmanian
Stable Semantics for Probabilistic Deductive Databases [Citation Graph (4, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:42-83 [Journal]
- Ludek Kucera, Alberto Marchetti-Spaccamela, Marco Protasi
On Learning Monotone DNF Formulae under Uniform Distributions [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:84-95 [Journal]
- Jerry L. Trahan, Vijaya Ramachandran, Michael C. Loui
Parallel Random Access Machines with both Multiplication and Shifts [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:96-118 [Journal]
- Steven Homer, Jie Wang
Immunity of Complete Problems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:119-129 [Journal]
- Marc J. van Kreveld, Mark H. Overmars
Concatenable Structures for Decomposable Problems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:130-148 [Journal]
- Bernhard Steffen, Anna Ingólfsdóttir
Characteristic Formulae for Processes with Divergence [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:149-163 [Journal]
- Volker Diekert, Edward Ochmanski, Klaus Reinhardt
On Confluent Semi-commutations: Decidability and Complexity Results [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:164-182 [Journal]
- Hagit Attiya, Nancy A. Lynch
Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:183-232 [Journal]
- Guo-Qiang Zhang
A Representation of SFP [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:233-263 [Journal]
|