Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 23 results in range #1 to #23.

Number theoretic methods in cryptography. Complexity lower bounds: Label: en
Learning and geometry: computational approaches. Based on the workshop, College Park, MD, USA, January 1991: Label: en
Mathematical logic. Foundations for information science: Label: en
Perspectives in computational complexity. The Somenath Biswas anniversary volume. Selected papers based on the presentations at the workshop, Kanpur, India, Summer 2012: Label: en
A graph-theoretic approach to enterprise network dynamics.: Label: en
An introduction to quantum computing algorithms: Label: en
Coding, cryptography and combinatorics.: Label: en
Cryptographic applications of analytic number theory. Complexity lower bounds and pseudo\-randomness: Label: en
Bounded queries in recursion theory: Label: en
Temporal type theory. A topos-theoretic approach to systems and behavior: Label: en
Cryptography and computational number theory. Proceedings of the workshop, CCNT'99, Singapore, November 22--26, 1999: Label: en
Interpolating cubic splines: Label: en
Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992: Label: en
Logical methods. In honor of Anil Nerode's 60th birthday: Label: en
Symbolic rewriting techniques. Papers from the workshop held in Ascona, Switzerland, April 30 - May 4, 1995: Label: en
Graph-based proof procedures for horn clauses: Label: en
Feasible mathematics. A Mathematical Sciences Institute Workshop, Ithaca, NY, June 1989. Proceedings: Label: en
Logic for computer scientists: Label: en
A proof theory for general unification: Label: en
Mathematics for the Analysis of Algorithms.: Label: en
Mathematical logic. Foundations for information science: Label: en
Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013: Label: en
Automata theory and its applications: Label: en