Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

Strong Reductions and Isomorphism of Complete Sets

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2014English

Mechanized Metatheory Revisited

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Relational Representation of Groupoid Quantales

Order
AlgebraGeometryNumber TheoryComputational TheoryMathematicsTopology
2011English

Higher-Order Pattern Anti-Unification in Linear Time

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

What Can Be Sampled Locally?

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2018English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

On the Dimension of Posets With Cover Graphs of Treewidth 2

Order
AlgebraGeometryNumber TheoryComputational TheoryMathematicsTopology
2016English

Contributors toJOCEC’s Content Quality

Journal of Organizational Computing and Electronic Commerce
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2015English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Adding Concurrency to Smart Contracts

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy