Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Semantic Characterisation for Faults in Replicated Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1994English

Compilability and Compact Representations of Revision of Horn Knowledge Bases

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2000English

Nondeterminacy and Recursion via Stacks and Games

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1994English

Process Algebra for Performance Evaluation

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Lattice-Based Public-Key Cryptosystem

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

Catalytic P Systems, Semilinear Sets, and Vector Addition Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2004English

Monotonicity of Non-Deterministic Graph Searching

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Calculus of Mobile Processes, II

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

Optimal On-Line Algorithms for the Uniform Machine Scheduling Problem With Ordinal Data

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

Using Maximal Independent Sets to Solve Problems in Parallel

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy