๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Reply to Soler and Van Gelder

โœ Scribed by F. Chao; H. S. Liu


Book ID
108744845
Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
105 KB
Volume
113
Category
Article
ISSN
0956-540X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Reply to Liu and Chao
โœ T. Soler; B. H. W. Van Gelder ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 40 KB
Reply to Vroomen and de Gelder
โœ Dominic W Massaro ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 52 KB
Reply from M. Soler and J.J. Soler
โœ Manuel Soler; Juan Josรฉ Soler ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 45 KB
An Extension of Van Gelder's Alternating
โœ Shinichi Morishita ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 633 KB

We study the application of the magic-sets transformation technique to Datalog c (function-free programs with negation) that may not have two-valued well-founded models. In this general setting, the wellfounded model of the original program does not always agree with the well-founded model of the ma

Reply to Van Gulick
โœ Lynne Rudder Baker ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 267 KB