Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Rewriting Logic Approach to Operational Semantics

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

Assigning Types to Processes

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

On Finite Alphabets and Infinite Bases

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

Parallel Detection of All Palindromes in a String

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1995English

Termination of Rewriting Under Strategies

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

The Parallel Composition of Uniform Processes With Data

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2001English

Some Machines Defined by Directed Graphs

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1984English

An Analysis of Loop Checking Mechanisms for Logic Programs

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Partitioned PLTL Model-Checking for Refined Transition Systems

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

Boolean Satisfiability With Transitivity Constraints

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy