ENTCS - Electronic Notes in Theoretical Computer Science

Subscribe

Academic

ENTCS - Electronic Notes in Theoretical Computer Science

ENTCS - Electronic Notes in Theoretical Computer Science

Publications: 5,786| Citation Count: 33,933 (Self-Citation: 2268)|H-Index: 51
Year Range: 1995-2011

Interests: Algorithms & Theory

Homepage

Cumulative Annual

Order by:

Publications (5786)

The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity (Citations: 14)

T. N. Palmer

Journal: Electronic Notes in Theoretical Computer Science - ENTCS , vol. 270, no. 2, pp. 115-119, 2011
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits (Citations: 2)

Alejandro D'iaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan J. Grattage

Journal: Electronic Notes in Theoretical Computer Science - ENTCS , vol. 270, no. 1, pp. 59-74, 2011
Simulating Finite Eilenberg Machines with a Reactive Engine (Citations: 2)

Benoît Razet

Journal: Electronic Notes in Theoretical Computer Science - ENTCS , vol. 229, no. 5, pp. 119-134, 2011
Categorical Properties of The Complex Numbers (Citations: 1)

Jamie Vicary

Journal: Electronic Notes in Theoretical Computer Science - ENTCS , vol. 270, no. 2, pp. 163-189, 2011
The Mechanical Verification of a DPLL-Based Satisfiability Solver (Citations: 2)

Natarajan Shankar, Marc Vaucher

Journal: Electronic Notes in Theoretical Computer Science - ENTCS , vol. 269, pp. 3-17, 2011