Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Computational Theory
Induction=I-Axiomatization+First-Order Consistency
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Interaction Combinators
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Area-Time Optimal Division for T = Ω((log N)1 + Ε)
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Termination of SystemF-bounded: A Complete Proof
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Context-Sensitive String Languages and Recognizable Picture Languages
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Needed Reduction and Spine Strategies for the Lambda Calculus
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Positive Versions of Polynomial Time
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
2 Fast Parallel Prime Number Sieves
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
‹
493
494
495
496
497
498
499
›
