Skip to search formSkip to main contentSkip to account menu

Domain theory

Known as: Domain, Way-below relation 
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain… 
Wikipedia (opens in a new tab)

Related topics

Related topics

30 relations
Actor modelActor model and process calculiCategory theoryComputer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Design and Evaluation of Conceptual Ontologies for Electrochemistry as a Domain
Knowledge Representation and Reasoning is the most important objective of the Semantic Web. The Web of Data visualizes its… 
2012
2012
Approximation, integration and differentiation of time functions using a set of orthogonal hybrid functions (HF) and their application to solution of first order differential equations
2009
2009
Towards the automated verification of semi-structured documents
2009
2009
Adolescent and adult reasoning about gender roles and fairness in Benin, West Africa
1996
1996
A classification of abduction: abduction for logic programming
Abduction is a methodology of scienti c researches. Peirce showed three types of abduction, and expressed them by one syllogism… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
1991
1991
A Hybrid Method for Feature Generation
1989
1989
Using Determinations in EBL: A Solution to the incomplete Theory Problem
1989
1989
Program Derivation Using Analogy
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs… 
1966
1966
A characterization of $Q$-domains
Let R be an integral domain with quotient field K. By an overring of R is meant a ring B with RÇ1BÇ.K. R is a Q-domain if every… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)