Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Integer Circuit Evaluation Is PSPACE-Complete

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

Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory With Records

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2005English

A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries

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

Non-Linear System Identification Using the Hammerstein Model

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
1979English

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

Networked Control Systems and Wireless Sensor Networks: Theories and Applications

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
2008English

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy