𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Implication Problem for Functional and Inclusion Dependencies is Undecidable

✍ Scribed by Chandra, Ashok K.; Vardi, Moshe Y.

Book ID
118174117
Publisher
Society for Industrial and Applied Mathematics
Year
1985
Tongue
English
Weight
838 KB
Volume
14
Category
Article
ISSN
0097-5397

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The emptiness of intersection problem fo
The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable
✍ Annie Foret πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 465 KB

This paper is concerned with usual decidability questions on grammars for some classes of categorial grammars that arise in the field of learning categorial grammars. We prove that the emptiness of intersection of two langages is an undecidable problem for the following classes : k-valued classical