Embedding of derivations in high-level replacement systems:
Abstract: "This paper concerns the concept of embedding derivation in graph grammars and other replacement systems. This means to extend or reduce the given context of a derivation. This concept was introduced for graph grammars in 1977 by H. Ehrig leading to the classical embedding theorem. He...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Techn. Univ. Berlin, Fachbereich 20, Informatik
1993
|
| Schriftenreihe: | Technische Universität <Berlin> / Fachbereich Informatik: Bericht
1993,9 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper concerns the concept of embedding derivation in graph grammars and other replacement systems. This means to extend or reduce the given context of a derivation. This concept was introduced for graph grammars in 1977 by H. Ehrig leading to the classical embedding theorem. Here three different versions of the embedding theorem are presented; the first concerns the embedding of direct derivations, the second the embedding of derivation sequences and the third is the equivalent formulation of the classical embedding. Thus first the notion of initial pushouts is given used for constructing occurrence adapted productions. Next the categorial, that is the HLR-version of the embedding theorem is given. At last the correspondence to the classical embedding theorem is shown. At last these notions are illustrated by an example." |
| Beschreibung: | 33 Bl. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008881375 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940210s1993 d||| |||| 00||| engod | ||
| 035 | |a (OCoLC)31948794 | ||
| 035 | |a (DE-599)BVBBV008881375 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-83 |a DE-188 | ||
| 100 | 1 | |a Padberg, Julia |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Embedding of derivations in high-level replacement systems |c Julia Padberg ; Gabriele Taentzer |
| 264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fachbereich 20, Informatik |c 1993 | |
| 300 | |a 33 Bl. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <Berlin> / Fachbereich Informatik: Bericht |v 1993,9 | |
| 520 | 3 | |a Abstract: "This paper concerns the concept of embedding derivation in graph grammars and other replacement systems. This means to extend or reduce the given context of a derivation. This concept was introduced for graph grammars in 1977 by H. Ehrig leading to the classical embedding theorem. Here three different versions of the embedding theorem are presented; the first concerns the embedding of direct derivations, the second the embedding of derivation sequences and the third is the equivalent formulation of the classical embedding. Thus first the notion of initial pushouts is given used for constructing occurrence adapted productions. Next the categorial, that is the HLR-version of the embedding theorem is given. At last the correspondence to the classical embedding theorem is shown. At last these notions are illustrated by an example." | |
| 650 | 4 | |a Embeddings (Mathematics) | |
| 700 | 1 | |a Taentzer, Gabriele |d 1963- |e Verfasser |0 (DE-588)128378778 |4 aut | |
| 810 | 2 | |a Fachbereich Informatik: Bericht |t Technische Universität <Berlin> |v 1993,9 |w (DE-604)BV000001083 |9 1993,9 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005874780 | ||
Datensatz im Suchindex
| _version_ | 1804123237382094848 |
|---|---|
| any_adam_object | |
| author | Padberg, Julia Taentzer, Gabriele 1963- |
| author_GND | (DE-588)128378778 |
| author_facet | Padberg, Julia Taentzer, Gabriele 1963- |
| author_role | aut aut |
| author_sort | Padberg, Julia |
| author_variant | j p jp g t gt |
| building | Verbundindex |
| bvnumber | BV008881375 |
| ctrlnum | (OCoLC)31948794 (DE-599)BVBBV008881375 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01941nam a2200301 cb4500</leader><controlfield tag="001">BV008881375</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940210s1993 d||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31948794</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008881375</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Padberg, Julia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Embedding of derivations in high-level replacement systems</subfield><subfield code="c">Julia Padberg ; Gabriele Taentzer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ. Berlin, Fachbereich 20, Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">33 Bl.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <Berlin> / Fachbereich Informatik: Bericht</subfield><subfield code="v">1993,9</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper concerns the concept of embedding derivation in graph grammars and other replacement systems. This means to extend or reduce the given context of a derivation. This concept was introduced for graph grammars in 1977 by H. Ehrig leading to the classical embedding theorem. Here three different versions of the embedding theorem are presented; the first concerns the embedding of direct derivations, the second the embedding of derivation sequences and the third is the equivalent formulation of the classical embedding. Thus first the notion of initial pushouts is given used for constructing occurrence adapted productions. Next the categorial, that is the HLR-version of the embedding theorem is given. At last the correspondence to the classical embedding theorem is shown. At last these notions are illustrated by an example."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embeddings (Mathematics)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taentzer, Gabriele</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128378778</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik: Bericht</subfield><subfield code="t">Technische Universität <Berlin></subfield><subfield code="v">1993,9</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1993,9</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005874780</subfield></datafield></record></collection> |
| id | DE-604.BV008881375 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:26:35Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005874780 |
| oclc_num | 31948794 |
| open_access_boolean | |
| owner | DE-12 DE-83 DE-188 |
| owner_facet | DE-12 DE-83 DE-188 |
| physical | 33 Bl. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Techn. Univ. Berlin, Fachbereich 20, Informatik |
| record_format | marc |
| series2 | Technische Universität <Berlin> / Fachbereich Informatik: Bericht |
| spelling | Padberg, Julia Verfasser aut Embedding of derivations in high-level replacement systems Julia Padberg ; Gabriele Taentzer Berlin Techn. Univ. Berlin, Fachbereich 20, Informatik 1993 33 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1993,9 Abstract: "This paper concerns the concept of embedding derivation in graph grammars and other replacement systems. This means to extend or reduce the given context of a derivation. This concept was introduced for graph grammars in 1977 by H. Ehrig leading to the classical embedding theorem. Here three different versions of the embedding theorem are presented; the first concerns the embedding of direct derivations, the second the embedding of derivation sequences and the third is the equivalent formulation of the classical embedding. Thus first the notion of initial pushouts is given used for constructing occurrence adapted productions. Next the categorial, that is the HLR-version of the embedding theorem is given. At last the correspondence to the classical embedding theorem is shown. At last these notions are illustrated by an example." Embeddings (Mathematics) Taentzer, Gabriele 1963- Verfasser (DE-588)128378778 aut Fachbereich Informatik: Bericht Technische Universität <Berlin> 1993,9 (DE-604)BV000001083 1993,9 |
| spellingShingle | Padberg, Julia Taentzer, Gabriele 1963- Embedding of derivations in high-level replacement systems Embeddings (Mathematics) |
| title | Embedding of derivations in high-level replacement systems |
| title_auth | Embedding of derivations in high-level replacement systems |
| title_exact_search | Embedding of derivations in high-level replacement systems |
| title_full | Embedding of derivations in high-level replacement systems Julia Padberg ; Gabriele Taentzer |
| title_fullStr | Embedding of derivations in high-level replacement systems Julia Padberg ; Gabriele Taentzer |
| title_full_unstemmed | Embedding of derivations in high-level replacement systems Julia Padberg ; Gabriele Taentzer |
| title_short | Embedding of derivations in high-level replacement systems |
| title_sort | embedding of derivations in high level replacement systems |
| topic | Embeddings (Mathematics) |
| topic_facet | Embeddings (Mathematics) |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT padbergjulia embeddingofderivationsinhighlevelreplacementsystems AT taentzergabriele embeddingofderivationsinhighlevelreplacementsystems |