𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidable First-Order Theories of One-Step Rewriting in Trace Monoids

✍ Scribed by Dietrich Kuske; Markus Lohrey

Book ID
105914745
Publisher
Springer
Year
2004
Tongue
English
Weight
513 KB
Volume
38
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The first-order theory of linear one-ste
The first-order theory of linear one-step rewriting is undecidable
✍ Ralf Treinen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 758 KB

The theory of one-step rewriting for a given rewrite system R and signature C is the firstorder theory of the following structure: its universe consists of all C-ground terms, and its only predicate is the relation "x rewrites to y in one step by R". The structure contains no function symbols and no

On the use of symmetry in first-order pe
On the use of symmetry in first-order perturbed Hartree–Fock theory
✍ Paolo Lazzeretti 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 613 KB

## Abstract A method for the determination of the symmetry of first‐order vectors in Hartree–Fock perturbation theory is developed. This leads to the definition of symmetry‐adapted basis vectors to be employed at first order in the perturbation. It is shown that computer time can be saved, to some

On the use of symmetry in first-order pe
On the use of symmetry in first-order perturbed HF theory. II
✍ Paolo Lazzeretti; Riccardo Zanasi 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 453 KB

## Abstract A method is described whereby molecular symmetry is employed to reduce the number of two‐electron integrals in perturbed Hartree–Fock calculations of second‐order properties. The method is a generalization of the Dacre–Elder procedure. First‐ and second‐rank perturbing tensor operators