Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Matching Logic"”.
-
Automated reasoning for fixpoints and concrete execution in matching logic
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms
-
International joint venture negotiation behaviour outcome : the role of bargaining power, culture and trust (qualitative case studies
… as a research strategy for this study. 'Pattern matching logic' and 'explanation building' techniques were used for the analysis of data. In addition, data display technique was added to offer a clear understanding and picture of the results of the study. Regarding JV management and negotiation, …
-
An Analysis of Employees’ Reactions to the Introduction of ERP Systems in Management Accounting: Case Studies from Saudi Arabia
… and observation have been employed. Pattern matching, logic models and cross-case synthesis are used for thematically organising and analysing the case studies. The thesis discusses the relationship between factors including politics, economics, religious social culture, the culture of the …
-
Advancements in automated first-order verification
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms