The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- On average time hierarchies (Q1313704) (← links)
- Probabilistic Horn abduction and Bayesian networks (Q1313950) (← links)
- The distributed bit complexity of the ring: From the anonymous to the non-anonymous case (Q1314268) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
- Regular expressions into finite automata (Q1314367) (← links)
- Adding closed world assumptions to well-founded semantics (Q1314417) (← links)
- The derivation of on-line algorithms, with an application to finding palindromes (Q1314430) (← links)
- A postscript on distances in convex \(n\)-gons (Q1314446) (← links)
- A survey of multiple contractions (Q1314509) (← links)
- Functional states of an excitable membrane and their dependence on its parameter values (Q1314654) (← links)
- Problem session at ALCOM-91 (Q1315390) (← links)
- A new technique for generating quadratic programming test problems (Q1315416) (← links)
- On the failure of maximum entropy reconstruction for Fredholm equations and other infinite systems (Q1315418) (← links)
- Associative structures for vision (Q1316210) (← links)
- Discrepancy and approximations for bounded VC-dimension (Q1316651) (← links)
- On a universal chain problem (Q1317044) (← links)
- Stable marriage and indifference (Q1317047) (← links)
- Reversibility and surjectivity problems of cellular automata (Q1318474) (← links)
- Clustering properties of hierarchical self-organizing maps (Q1318601) (← links)
- A linear algorithm for renaming a set of clauses as a Horn set (Q1318709) (← links)
- Size-depth tradeoffs for Boolean formulae (Q1318766) (← links)
- Maximizing Möbius functions on subsets of Boolean algebras (Q1318819) (← links)
- Random Ramsey graphs for the four-cycle (Q1318835) (← links)
- Efficient computation of zero-dimensional Gröbner bases by change of ordering (Q1318849) (← links)
- Second-order properties of the loss probability in \(M/M/s/s+c\) systems (Q1319176) (← links)
- Some properties of the delay probability in \(M/M/s/s+c\) systems (Q1319177) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Parallel multiple shooting for the solution of initial value problems (Q1319509) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- \(BPP\) has subexponential time simulations unless \(EXPTIME\) has publishable proofs (Q1321029) (← links)
- Primality testing with fewer random bits (Q1321031) (← links)
- The complexity of computing maximal word functions (Q1321032) (← links)
- Multicommodity network flows: The impact of formulation on decomposition (Q1321667) (← links)
- On the problem of approximating the number of bases of a matroid (Q1321827) (← links)
- Vertex-primitive graphs of order a product of two distinct primes (Q1322036) (← links)
- On finite affine 2-arc transitive graphs (Q1322410) (← links)
- The weighted majority algorithm (Q1322487) (← links)
- On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages (Q1322488) (← links)
- Edge crossings in drawings of bipartite graphs (Q1322570) (← links)
- Nuclei of point sets of size \(q+1\) contained in the union of two lines in \(PG(2,q)\) (Q1323479) (← links)
- The complexity of a class of infinite graphs (Q1323483) (← links)
- Indirect and implicit adaptive predictive control of the benchmark plant (Q1323755) (← links)
- Some hierarchies for the communication complexity measures of cooperating grammar systems (Q1325838) (← links)
- Solution of the knight's Hamiltonian path problem on chessboards (Q1326749) (← links)
- Cost-based abduction and MAP explanation (Q1327167) (← links)
- Balancing problems in acyclic networks (Q1327220) (← links)
- A completeness theorem for Kleene algebras and the algebra of regular events (Q1327385) (← links)
- New foundations for the geometry of interaction (Q1327394) (← links)
- \(\text{RL}\subseteq \text{SC}\) (Q1327590) (← links)
