Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

Implication Problems for Functional Constraints on Databases Supporting Complex Objects

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1994English

Integer Circuit Evaluation Is PSPACE-Complete

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2001English

A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1997English

A Representation Independent Language for Planar Spatial Databases With Euclidean Distance

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2007English

Maximum H-Colourable Subdigraphs and Constraint Optimization With Arbitrary Weights

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2007English

On the Expressive Power of Temporal Logic

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1993English

Vacillatory Learning of Nearly Minimal Size Grammars

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1994English

A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1981English

Randomness vs Time: Derandomization Under a Uniform Assumption

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2001English

Reduced Load Equivalence Under Subexponentiality

Queueing Systems
StatisticsProbabilityManagement ScienceComputer Science ApplicationsMathematicsComputational TheoryOperations Research
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy