Remote Verification of Digital Systems Projects using Cluster ComputersThe paper introduces a methodology that ensures data exchange between the cluster
computer Computability on linear orderings enriched with predicates computable presentation for L or for the structure (L, adj), where adj(x, y) is a predicate distinguishing
Strong noncuppability in low computably enumerable degreesWe prove the existence of noncomputable low
computably enumerable degrees b < a such that b
Scattered linear orderings with no computable presentationIn this paper we construct a low2 scattered linear orderings with no
computable presentation
Computer Algebra in JULIARecently, the place of the main programming language for scientific and engineering
computations Computable linear orders and products with the property that given any countable linear order, is a
computable linear order iff is a
computable linear