Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Non First Normal Form Relations: An Algebra Allowing Data Restructuring

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

Circumscription in Data Logic for Data Type Specification

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1994English

Case-Factor Diagrams for Structured Probabilistic Modeling

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

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Polynomial Time Approximation Schemes for Dense Instances of NP-Hard Problems

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

Engineering Executable Agents Using Multi-Context Systems

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2002English

Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Output Deadbeat Control Using State Feedback of Discrete-Time Multivariable Systems

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

Introducing the Logic and Law Corner

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2007English

Output-Maximal Control Policies for Cascaded Production-Inventory Systems With Control and State Constraints

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy