Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Unary resolution: characterizing PTIME
Clément Aubert, Marc Bagnol, Thomas Seiller
*
*
Corresponding author for this work
Department of Computer Science
3
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Unary resolution: characterizing PTIME'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Geometry
39%
Logic programming
76%
Polynomials
100%