Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems: long version
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik
2009
|
| Series: | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik
2009/10 |
| Subjects: | |
| Links: | https://doi.org/10.14279/depositonce-10260 |
| Physical Description: | 22 S. graph. Darst. |
| DOI: | 10.14279/depositonce-10260 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035760767 | ||
| 003 | DE-604 | ||
| 005 | 20240215 | ||
| 007 | t| | ||
| 008 | 091008s2009 xx d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)729948693 | ||
| 035 | |a (DE-599)BVBBV035760767 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Hermann, Frank |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems |b long version |c Frank Hermann |
| 264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |c 2009 | |
| 300 | |a 22 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2009/10 | |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bedingung |0 (DE-588)4005194-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
| 689 | 0 | 1 | |a Bedingung |0 (DE-588)4005194-8 |D s |
| 689 | 0 | 2 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o 10.14279/depositonce-10260 |w (DE-604)BV048451370 |
| 830 | 0 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2009/10 |w (DE-604)BV014139937 |9 2009,10 | |
| 856 | 4 | 1 | |u https://doi.org/10.14279/depositonce-10260 |x Resolving-System |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018620644 | |
Record in the Search Index
| _version_ | 1818968115697942528 |
|---|---|
| any_adam_object | |
| author | Hermann, Frank |
| author_facet | Hermann, Frank |
| author_role | aut |
| author_sort | Hermann, Frank |
| author_variant | f h fh |
| building | Verbundindex |
| bvnumber | BV035760767 |
| classification_rvk | ST 130 |
| collection | ebook |
| ctrlnum | (OCoLC)729948693 (DE-599)BVBBV035760767 |
| discipline | Informatik |
| doi_str_mv | 10.14279/depositonce-10260 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01670nam a2200397 cb4500</leader><controlfield tag="001">BV035760767</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240215 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091008s2009 xx d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)729948693</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035760767</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hermann, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems</subfield><subfield code="b">long version</subfield><subfield code="c">Frank Hermann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 S.</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">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2009/10</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bedingung</subfield><subfield code="0">(DE-588)4005194-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Bedingung</subfield><subfield code="0">(DE-588)4005194-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">10.14279/depositonce-10260</subfield><subfield code="w">(DE-604)BV048451370</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2009/10</subfield><subfield code="w">(DE-604)BV014139937</subfield><subfield code="9">2009,10</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.14279/depositonce-10260</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018620644</subfield></datafield></record></collection> |
| id | DE-604.BV035760767 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T13:59:34Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018620644 |
| oclc_num | 729948693 |
| open_access_boolean | 1 |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 22 S. graph. Darst. |
| psigel | ebook |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |
| record_format | marc |
| series | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
| series2 | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
| spelling | Hermann, Frank Verfasser aut Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version Frank Hermann Berlin Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik 2009 22 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2009/10 Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Bedingung (DE-588)4005194-8 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 s Bedingung (DE-588)4005194-8 s Nebenläufigkeit (DE-588)4115352-2 s DE-604 Erscheint auch als Online-Ausgabe 10.14279/depositonce-10260 (DE-604)BV048451370 Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2009/10 (DE-604)BV014139937 2009,10 https://doi.org/10.14279/depositonce-10260 Resolving-System kostenfrei Volltext |
| spellingShingle | Hermann, Frank Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik Nebenläufigkeit (DE-588)4115352-2 gnd Bedingung (DE-588)4005194-8 gnd Graphersetzungssystem (DE-588)4274073-3 gnd |
| subject_GND | (DE-588)4115352-2 (DE-588)4005194-8 (DE-588)4274073-3 |
| title | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version |
| title_auth | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version |
| title_exact_search | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version |
| title_full | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version Frank Hermann |
| title_fullStr | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version Frank Hermann |
| title_full_unstemmed | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems long version Frank Hermann |
| title_short | Permutation equivalence of DPO derivations with negative application conditions based on subobject transformation systems |
| title_sort | permutation equivalence of dpo derivations with negative application conditions based on subobject transformation systems long version |
| title_sub | long version |
| topic | Nebenläufigkeit (DE-588)4115352-2 gnd Bedingung (DE-588)4005194-8 gnd Graphersetzungssystem (DE-588)4274073-3 gnd |
| topic_facet | Nebenläufigkeit Bedingung Graphersetzungssystem |
| url | https://doi.org/10.14279/depositonce-10260 |
| volume_link | (DE-604)BV014139937 |
| work_keys_str_mv | AT hermannfrank permutationequivalenceofdpoderivationswithnegativeapplicationconditionsbasedonsubobjecttransformationsystemslongversion |