Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

One Hundred Twenty-Seven Subsemilattices and Planarity

Order
AlgebraGeometryNumber TheoryComputational TheoryMathematicsTopology
2019English

Inflation of Finite Lattices Along All-Or-Nothing Sets

Order
AlgebraGeometryNumber TheoryComputational TheoryMathematicsTopology
2016English

Biorders With Frontier

Order
AlgebraGeometryNumber TheoryComputational TheoryMathematicsTopology
2010English

Preface: Theory and Applications of Abstraction, Substitution and Naming

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2011English

Von Neumann Normalisation of a Quantum Random Number Generator

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2012English

The Bayesian Ontology Language $$\Mathcal {BEL}$$ BEL

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

On Definitions of Constants and Types in HOL

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

Terminating Distributed Construction of Shapes and Patterns in a Fair Solution of Automata

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy