Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Termination of SystemF-bounded: A Complete Proof

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

On the Hardness of Approximating Shortest Integer Relations Among Rational Numbers

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1998English

Mellin Transforms and Asymptotics: Harmonic Sums

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1995English

Simple and Flexible Detection of Contiguous Repeats Using a Suffix Tree

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

Context-Sensitive String Languages and Recognizable Picture Languages

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

On the Minimum Hitting Set of Bundles Problem

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2009English

Co-Induction in Relational Semantics

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Locating P/Poly Optimally in the Extended Low Hierarchy

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1994English

Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2004English

Needed Reduction and Spine Strategies for the Lambda Calculus

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1987English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy