Deterministic and nondeterministic computation, and horn programs, on abstract data types
Copyright policy )Deterministic and nondeterministic computation, and horn programs, on abstract data types
Summary: We investigate the notion of ``semicomputability'', intended to generalize the notion of recursive enumerability of relations to abstract structures. Two characterizations are considered and shown to be equivalent: one in terms of ``partial computable functions'' (for a suitable notion of computability over abstract structures) and one in terms of definability by means of Horn programs over such structures. This leads to the formulation of a ``Generalized Church-Turing Thesis'' for definability of relations on abstract structures.
Logic in artificial intelligence, Applications of universal algebra in computer science, Horn programs, definability of relations on abstract structures, Logic, semicomputability, partial computable functions, computability over abstract structures, Abstract and axiomatic computability and recursion theory, Abstract data types; algebraic specification
Logic in artificial intelligence, Applications of universal algebra in computer science, Horn programs, definability of relations on abstract structures, Logic, semicomputability, partial computable functions, computability over abstract structures, Abstract and axiomatic computability and recursion theory, Abstract data types; algebraic specification
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).8 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!