Results 161 to 170 of about 18,159,508 (207)
Some of the next articles are maybe not open access.
Model-theoretic aspects of unification
1992Unification is a fundamental operation in various areas of computer science, in particular in automated theorem proving and logic programming. In this paper we establish a relation between unification theory and classical model theory. We show how model-theoretic methods can be used to investigate a generalized form of unification, namely the problem ...
openaire +2 more sources
The EFQM 2020 model. A theoretical and critical review
Total Quality Management and Business Excellence, 2022Luis Fonseca
exaly
Procrastination in University Students: A Proposal of a Theoretical Model
Behavioral Sciences (Basel, Switzerland), 2023Luis Araya-Castillo +2 more
exaly
A Theoretical Model of Financial Burden After Cancer Diagnosis
Future Oncology, 2020Veena Shankaran +2 more
exaly
Evaluation models and theoretical bias
American Journal of Psychiatry, 1978openaire +2 more sources
A new theoretical model of low cycle fatigue life for coiled tubing under coupling load
Engineering Failure Analysis, 2021exaly

