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
From conventional to institution-independent logic programming
Ionut Tutu
, José Luiz Fiadeiro
Science and Engineering Office
Research output
:
Contribution to journal
›
Article
›
peer-review
7
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'From conventional to institution-independent logic programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Logic Programming
100%
Operational Semantics
25%
Logical Systems
25%
Logic Programming Semantics
25%
Horn Clause Logic
25%
Logic Programming Language
25%
Herbrand's Theorem
25%
Institution Theory
25%
Logical Construction
25%
Quantified Sentences
25%
Computer Science
Logic Programming
100%
Operational Semantics
16%
Programming Language
16%
Mathematics
Logic Programming
100%
Logical System
16%