Skip to main navigation
Skip to search
Skip to main content
Discovery - the University of Dundee Research Portal Home
Home
Profiles
Research units
Research Outputs
Projects
Datasets
Theses
Activity
Press/Media
Research Facilities
Prizes
Search by expertise, name or affiliation
Coalgebraic derivations in logic programming
Ekaterina Komendantskaya
, John Power
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
13
Citations (Scopus)
Overview
Fingerprint
Research Outputs
(1)
Fingerprint
Dive into the research topics of 'Coalgebraic derivations in logic programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Logic Programming
100%
Coalgebra
100%
Coalgebraic Semantics
100%
New Sound
100%
Complete Algorithms
100%
Full Abstraction
100%
Computer Science
Logic Programming
100%
Soundness
100%
coalgebra
50%
Mathematics
Logic Programming
100%