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

A compact program for the symmetrization of the basis for a quasimolecular system

โœ Scribed by V. A. Lobach; A. B. Sobolev; N. M. Osipova; A. R. Goroshchenya


Book ID
104923752
Publisher
SP MAIK Nauka/Interperiodica
Year
1982
Tongue
English
Weight
129 KB
Volume
22
Category
Article
ISSN
0022-4766

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A semantic basis for the termination ana
โœ Michael Codish; Cohavit Taboch ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ยฑ a possibly inยฎnite set of binary clauses. Termination of a program P and goal G is determined by the absenc