Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
On computability by logic programs
Andrei Voronkov
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On computability by logic programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Computability
100%
Logic Programming
100%
Computational Completeness
16%
Computable Predicate
16%
Herbrand Universe
16%