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.
2009
2009
Adolescent and adult reasoning about gender roles and fairness in Benin, West Africa
2009
2009
Towards the automated verification of semi-structured documents
Highly Cited
1995
Highly Cited
1995
A formal analysis of parametric design problem solving
A formal analysis of the problem of parametric design is given on the basis of the competence-theory approach to problem solving… 
Highly Cited
1992
Highly Cited
1992
Automatic Feature Generation for Problem Solving Systems
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… 
1987
1987
Causal Analysis and Inductive Learning
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)