ZIB

Hits per page

hits 1 - 2 | 2 hits

Sorting

Electronic Resource

The Universality of Higher-Order Attributed Tree Transducers (2000)

Noll, T. ; Vogler, H.

Springer

Theory of computing systems 34 (2000), S. 45-75

add to mindlist on the mindlist

Details

ISSN: 1433-0490

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract. In this paper we present higher-order attributed tree transducers as a formal computational model for higher-order attribute grammars. The latter is a generalization of the classical concept of attribute grammars in the sense that during attribute evaluation, the input tree can be enlarged by inserting subtrees which were computed during attribute evaluation. We prove the universality of this formalism by showing that the class of functions described by higher-order attributed tree transducers coincides with the class of (partial) recursive tree functions.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/s002240010018

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

Electronic Resource

Zur Konjugation in makrocyclischen Bindungssystemen [1] XX. Charakterordnung, magnetische Suszeptibilitäten und chemische Verschiebungen von Corannulenen (1972)

Ege, G. ; Vogler, H.

Springer

Theoretical chemistry accounts 26 (1972), S. 55-65

add to mindlist on the mindlist

Details

ISSN: 1432-2234

Source: Springer Online Journal Archives 1860-2000

Topics: Chemistry and Pharmacology

Description / Table of Contents: Zusammenfassung Mit Hilfe von Berechnungen der Polansky-Charakterordnungen, der magnetischen Suszeptibilitäten und der chemischen Verschiebungen (1H-NMR) im Rahmen der HMO-Theorie wird gezeigt, daß Corannulene nicht als makrocyclische Annulensysteme aufgefaßt werden können.

Abstract: Résumé Des calculs des caractères annulènoides, des contributions du courant cyclique à la susceptibilité magnétique et aux déplacements chimiques dans la méthode de HMO montrent, que les corannulènes ne peuvent pas considérer comme des annulènes macrocycliques.

Notes: Abstract By means of calculations of the Polansky character order, ring current contributions to the magnetic susceptibilities and to the chemical shift in the Hückel approximation, it is shown, that corannulenes cannot be treated as macrocyclic annulenes.