| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465497303316 |
|
|
Autore |
Habel Annegret |
|
|
Titolo |
Hyperedge Replacement: Grammars and Languages [[electronic resource] /] / by Annegret Habel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1992.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 221 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 643 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Programming languages (Electronic computers) |
Mathematical logic |
Combinatorics |
Theory of Computation |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
General Introduction -- to hyperedge-replacement grammars -- Basic properties of HRG's -- Characterizations of HRL's -- Structural aspects of HRL's -- Generative power of HRG's -- Graph-theoretic aspects of HRL's -- Boundedness aspects of HRL's -- Extensions and variations of HRG's -- Conclusion. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The area of graph grammars is theoretically attractive and well motivated byvarious applications. More than 20 years ago, the concept of graph grammars was introduced by A. Rosenfeld as a formulation of some problems in pattern recognition and image processing, as well as by H.J. Schneider as a method for data type specification. Within graph-grammar theory one maydistinguish the set-theoretical approach, the algebraic approach, and the logical approach. These approaches differ in the method in which graph replacement is described. Specific approaches, node replacement and hyperedge replacement, concern the basic units of a hypergraph, nodes and hyperedges. This |
|
|
|
|
|
|
|
|
|
|
|
|
|
monograph is mainly concerned with the hyperedge-replacement approach. Hyperedge-replacement grammars are introduced as a device for generating hypergraph languages including graph languages and string languages. The concept combines a context-free rewriting with a comparatively large generative power. The volume includes a foreword by H. Ehrig. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910824563503321 |
|
|
Autore |
Raphael D. D (David Daiches), <1916-> |
|
|
Titolo |
Concepts of justice [[electronic resource] /] / D.D. Raphael |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford, : Clarendon Press |
|
New York, : Oxford University Press, 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-383-03826-0 |
1-299-39726-3 |
0-19-158807-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (265 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Justice - History |
Political science - History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. I. Ancient roots -- pt. II. Modern shoots -- pt. III. Historical fruits. |
|
|
|
|
|
|
Sommario/riassunto |
|
In Concepts of Justice D. D. Raphael gives a philosophical survey of the development of the idea of justice. While the framework is historical, the aim is philosophical analysis and criticism.Part I begins with 'Ancient Roots': justice in the Bible, in Aeschylus' Oresteia, in the philosophers Plato and Aristotle, and among jurists and theologians in the Middle Ages. Part II, 'Modern Shoots', deals with philosophers from Hobbes to Rawls, and others of the modern age. Some of the writings considered will be unfamiliar to many readers, who will find that eminence as a political theorist is neithe |
|
|
|
|
|
|
|
| |