03921nam 22006615 450 99646549730331620200629121246.03-540-47340-810.1007/BFb0013875(CKB)1000000000233878(SSID)ssj0000323882(PQKBManifestationID)11254234(PQKBTitleCode)TC0000323882(PQKBWorkID)10303304(PQKB)10210586(DE-He213)978-3-540-47340-4(PPN)155204734(EXLCZ)99100000000023387820121227d1992 u| 0engurnn|008mamaatxtccrHyperedge Replacement: Grammars and Languages[electronic resource] /by Annegret Habel1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (XI, 221 p.) Lecture Notes in Computer Science,0302-9743 ;643Bibliographic Level Mode of Issuance: Monograph3-540-56005-X 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.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.Lecture Notes in Computer Science,0302-9743 ;643ComputersProgramming languages (Electronic computers)Mathematical logicCombinatoricsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Combinatoricshttps://scigraph.springernature.com/ontologies/product-market-codes/M29010Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computers.Programming languages (Electronic computers).Mathematical logic.Combinatorics.Theory of Computation.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Combinatorics.Mathematical Logic and Foundations.004.0151Habel Annegretauthttp://id.loc.gov/vocabulary/relators/aut745731BOOK996465497303316Hyperedge replacement1487592UNISA00811nam a2200229 i 450099100213551970753620020503161452.0931104s1986 it ||| | ita 8844410974b10321421-39ule_instEXGIL98034ExLBiblioteca Interfacoltà itaBallerini, Luigi198253Che figurato muore /Luigi BalleriniMilano :All'insegna del pesce d'oro,c1986 (stampa 1988)169 p. ;23 cm..b1032142102-04-1427-06-02991002135519707536LE002 It. IX D 411LE002-7198Nle002-E0.00-l- 00000.i1037864927-06-02Che figurato muore200689UNISALENTOle00201-01-93ma -itait 0102287nam 2200565 a 450 991082456350332120230124183947.01-383-03826-01-299-39726-30-19-158807-5(CKB)2550000001017635(EBL)1164143(OCoLC)836402410(SSID)ssj0000906577(PQKBManifestationID)12344283(PQKBTitleCode)TC0000906577(PQKBWorkID)10861212(PQKB)11187503(Au-PeEL)EBL1164143(CaPaEBR)ebr10676804(CaONFJC)MIL470976(MiAaPQ)EBC1164143(EXLCZ)99255000000101763520010430d2001 uy 0engur|n|---|||||txtccrConcepts of justice[electronic resource] /D.D. RaphaelOxford Clarendon Press ;New York Oxford University Press20011 online resource (265 p.)Reprinted 2004.0-19-924571-1 Includes bibliographical references and index.pt. I. Ancient roots -- pt. II. Modern shoots -- pt. III. Historical fruits.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 neitheJusticeHistoryPolitical scienceHistoryJusticeHistory.Political scienceHistory.172/.2/0922Raphael D. D(David Daiches),1916-897469MiAaPQMiAaPQMiAaPQBOOK9910824563503321Concepts of justice4052627UNINA