Implementation of Term Rewritings with the Evaluation Strategy
Autor*in: |
Ogata, Kazuhiro [verfasserIn] |
---|
Format: |
Artikel |
---|
Erschienen: |
1997 |
---|
Umfang: |
16 |
---|
Übergeordnetes Werk: |
Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 1292(1997), Seite 225-240 |
---|---|
Übergeordnetes Werk: |
volume:1292 ; year:1997 ; pages:225-240 ; extent:16 |
Katalog-ID: |
OLC1521967423 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC1521967423 | ||
003 | DE-627 | ||
005 | 20220224084836.0 | ||
007 | tu | ||
008 | 970903s1997 xx ||||| 00| ||und c | ||
028 | 5 | 2 | |a SW970903 |
035 | |a (DE-627)OLC1521967423 | ||
035 | |a (DE-599)GBVOLC1521967423 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
082 | 0 | 4 | |a 004 |a 620 |
082 | 0 | 4 | |a 620 |q AVZ |
100 | 1 | |a Ogata, Kazuhiro |e verfasserin |4 aut | |
245 | 1 | 0 | |a Implementation of Term Rewritings with the Evaluation Strategy |
264 | 1 | |c 1997 | |
300 | |a 16 | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
700 | 1 | |a Futatsugi, Kokichi |4 oth | |
773 | 0 | 8 | |i Enthalten in |t Lecture notes in computer science |d Berlin, Germany : Springer, 1973 |g 1292(1997), Seite 225-240 |w (DE-627)129300152 |w (DE-600)121909-1 |w (DE-576)014492687 |x 0302-9743 |
773 | 1 | 8 | |g volume:1292 |g year:1997 |g pages:225-240 |g extent:16 |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-TEC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OPC-BBI | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_105 | ||
912 | |a GBV_ILN_2018 | ||
951 | |a AR | ||
952 | |d 1292 |j 1997 |h 225-240 |g 16 |
author_variant |
k o ko |
---|---|
matchkey_str |
article:03029743:1997----::mlmnainfemertnsihhe |
hierarchy_sort_str |
1997 |
publishDate |
1997 |
allfields |
SW970903 (DE-627)OLC1521967423 (DE-599)GBVOLC1521967423 DE-627 ger DE-627 rakwb 004 620 620 AVZ Ogata, Kazuhiro verfasserin aut Implementation of Term Rewritings with the Evaluation Strategy 1997 16 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Futatsugi, Kokichi oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1292(1997), Seite 225-240 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1292 year:1997 pages:225-240 extent:16 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1292 1997 225-240 16 |
spelling |
SW970903 (DE-627)OLC1521967423 (DE-599)GBVOLC1521967423 DE-627 ger DE-627 rakwb 004 620 620 AVZ Ogata, Kazuhiro verfasserin aut Implementation of Term Rewritings with the Evaluation Strategy 1997 16 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Futatsugi, Kokichi oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1292(1997), Seite 225-240 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1292 year:1997 pages:225-240 extent:16 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1292 1997 225-240 16 |
allfields_unstemmed |
SW970903 (DE-627)OLC1521967423 (DE-599)GBVOLC1521967423 DE-627 ger DE-627 rakwb 004 620 620 AVZ Ogata, Kazuhiro verfasserin aut Implementation of Term Rewritings with the Evaluation Strategy 1997 16 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Futatsugi, Kokichi oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1292(1997), Seite 225-240 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1292 year:1997 pages:225-240 extent:16 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1292 1997 225-240 16 |
allfieldsGer |
SW970903 (DE-627)OLC1521967423 (DE-599)GBVOLC1521967423 DE-627 ger DE-627 rakwb 004 620 620 AVZ Ogata, Kazuhiro verfasserin aut Implementation of Term Rewritings with the Evaluation Strategy 1997 16 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Futatsugi, Kokichi oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1292(1997), Seite 225-240 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1292 year:1997 pages:225-240 extent:16 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1292 1997 225-240 16 |
allfieldsSound |
SW970903 (DE-627)OLC1521967423 (DE-599)GBVOLC1521967423 DE-627 ger DE-627 rakwb 004 620 620 AVZ Ogata, Kazuhiro verfasserin aut Implementation of Term Rewritings with the Evaluation Strategy 1997 16 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Futatsugi, Kokichi oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 1292(1997), Seite 225-240 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:1292 year:1997 pages:225-240 extent:16 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 1292 1997 225-240 16 |
source |
Enthalten in Lecture notes in computer science 1292(1997), Seite 225-240 volume:1292 year:1997 pages:225-240 extent:16 |
sourceStr |
Enthalten in Lecture notes in computer science 1292(1997), Seite 225-240 volume:1292 year:1997 pages:225-240 extent:16 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
Lecture notes in computer science |
authorswithroles_txt_mv |
Ogata, Kazuhiro @@aut@@ Futatsugi, Kokichi @@oth@@ |
publishDateDaySort_date |
1997-01-01T00:00:00Z |
hierarchy_top_id |
129300152 |
dewey-sort |
14 |
id |
OLC1521967423 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1521967423</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224084836.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">970903s1997 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW970903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1521967423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1521967423</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ogata, Kazuhiro</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation of Term Rewritings with the Evaluation Strategy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Futatsugi, Kokichi</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">1292(1997), Seite 225-240</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:1292</subfield><subfield code="g">year:1997</subfield><subfield code="g">pages:225-240</subfield><subfield code="g">extent:16</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">1292</subfield><subfield code="j">1997</subfield><subfield code="h">225-240</subfield><subfield code="g">16</subfield></datafield></record></collection>
|
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1521967423</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224084836.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">970903s1997 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW970903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1521967423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1521967423</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ogata, Kazuhiro</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation of Term Rewritings with the Evaluation Strategy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Futatsugi, Kokichi</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">1292(1997), Seite 225-240</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:1292</subfield><subfield code="g">year:1997</subfield><subfield code="g">pages:225-240</subfield><subfield code="g">extent:16</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">1292</subfield><subfield code="j">1997</subfield><subfield code="h">225-240</subfield><subfield code="g">16</subfield></datafield></record></collection>
|
author |
Ogata, Kazuhiro |
spellingShingle |
Ogata, Kazuhiro ddc 004 ddc 620 Implementation of Term Rewritings with the Evaluation Strategy |
authorStr |
Ogata, Kazuhiro |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129300152 |
format |
Article |
dewey-ones |
004 - Data processing & computer science 620 - Engineering & allied operations |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0302-9743 |
topic_title |
004 620 620 AVZ Implementation of Term Rewritings with the Evaluation Strategy |
topic |
ddc 004 ddc 620 |
topic_unstemmed |
ddc 004 ddc 620 |
topic_browse |
ddc 004 ddc 620 |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
author2_variant |
k f kf |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_parent_id |
129300152 |
dewey-tens |
000 - Computer science, knowledge & systems 620 - Engineering |
hierarchy_top_title |
Lecture notes in computer science |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 |
title |
Implementation of Term Rewritings with the Evaluation Strategy |
ctrlnum |
(DE-627)OLC1521967423 (DE-599)GBVOLC1521967423 |
title_full |
Implementation of Term Rewritings with the Evaluation Strategy |
author_sort |
Ogata, Kazuhiro |
journal |
Lecture notes in computer science |
journalStr |
Lecture notes in computer science |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works 600 - Technology |
recordtype |
marc |
publishDateSort |
1997 |
contenttype_str_mv |
txt |
container_start_page |
225 |
author_browse |
Ogata, Kazuhiro |
container_volume |
1292 |
physical |
16 |
class |
004 620 620 AVZ |
format_se |
Aufsätze |
author-letter |
Ogata, Kazuhiro |
dewey-full |
004 620 |
title_sort |
implementation of term rewritings with the evaluation strategy |
title_auth |
Implementation of Term Rewritings with the Evaluation Strategy |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 |
title_short |
Implementation of Term Rewritings with the Evaluation Strategy |
remote_bool |
false |
author2 |
Futatsugi, Kokichi |
author2Str |
Futatsugi, Kokichi |
ppnlink |
129300152 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth |
up_date |
2024-07-03T15:34:01.173Z |
_version_ |
1803572573593665537 |
score |
7.401515 |