Q4428295
type: Item
instance of: scholarly article
zbMATH Open document ID: 1023.68096
author: Mehdi Dastani
author: Leendert van der Torre
publication date: 2003-09-15T00:00:00Z
full work available at URL: 25140115.htm
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1980921
MaRDI profile type: Publication
Recommended article: Exploiting functional dependencies in declarative problem specifications
Recommended article: Logics in Artificial Intelligence
Recommended article: Q3361879
Recommended article: A unifying theory of control dependence and its application to arbitrary program structures
Recommended article: Advances in Artificial Intelligence – SBIA 2004
Recommended article: Conditional Functional Dependencies: An FCA Point of View
Recommended article: PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION
Recommended article: On the relation between BDDs and FDDs
Recommended article: Bounded Analysis and Decomposition for Behavioural Descriptions of Components
description: scientific article; zbMATH DE number 1980921