Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
A Logical Approach to Stable Domains
Y-X Chen, Achim Jung
Computer Science
Research output
:
Contribution to journal
›
Article
11
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Logical Approach to Stable Domains'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Propositional Logic
71%
Semilattice
69%
Duality
51%
Logic
50%
Information Systems
38%
Proof System
36%
Soundness
36%
Axiom
27%
Completeness
26%
Disjoint
25%
Framework
18%
Algebra
17%
Arbitrary
16%
Engineering & Materials Science
Algebra
100%
Information systems
77%