Full-commutation and fair-termination in equational (and combined) term-rewriting systems

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Porat, Sara (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Haifa, Israel 1986
Schriftenreihe:haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report 393
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV010507920
003 DE-604
005 00000000000000.0
007 t
008 951204s1986 |||| 00||| undod
035 |a (OCoLC)475925033 
035 |a (DE-599)BVBBV010507920 
040 |a DE-604  |b ger  |e rakddb 
041 |a und 
049 |a DE-91G 
100 1 |a Porat, Sara  |e Verfasser  |4 aut 
245 1 0 |a Full-commutation and fair-termination in equational (and combined) term-rewriting systems  |c by S. Porat and N. Francez 
264 1 |a Haifa, Israel  |c 1986 
300 |a 20 Bl. 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 1 |a haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report  |v 393 
810 2 |a Department of Computer Science: Technical report  |t <<haṭ->> Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā>  |v 393  |w (DE-604)BV010499135  |9 393 
999 |a oai:aleph.bib-bvb.de:BVB01-007003643 

Datensatz im Suchindex

DE-BY-TUM_call_number 0111/2001 B 6045-393
DE-BY-TUM_katkey 665942
DE-BY-TUM_media_number 040010103729
_version_ 1816711723284955136
any_adam_object
author Porat, Sara
author_facet Porat, Sara
author_role aut
author_sort Porat, Sara
author_variant s p sp
building Verbundindex
bvnumber BV010507920
ctrlnum (OCoLC)475925033
(DE-599)BVBBV010507920
format Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01026nam a2200265 cb4500</leader><controlfield tag="001">BV010507920</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951204s1986 |||| 00||| undod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)475925033</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010507920</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Porat, Sara</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Full-commutation and fair-termination in equational (and combined) term-rewriting systems</subfield><subfield code="c">by S. Porat and N. Francez</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Haifa, Israel</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20 Bl.</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">haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl &lt;Ḥêfā&gt; / Department of Computer Science: Technical report</subfield><subfield code="v">393</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">&lt;&lt;haṭ-&gt;&gt; Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl &lt;Ḥêfā&gt;</subfield><subfield code="v">393</subfield><subfield code="w">(DE-604)BV010499135</subfield><subfield code="9">393</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007003643</subfield></datafield></record></collection>
id DE-604.BV010507920
illustrated Not Illustrated
indexdate 2024-11-25T17:14:19Z
institution BVB
language Undetermined
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-007003643
oclc_num 475925033
open_access_boolean
owner DE-91G
DE-BY-TUM
owner_facet DE-91G
DE-BY-TUM
physical 20 Bl.
publishDate 1986
publishDateSearch 1986
publishDateSort 1986
record_format marc
series2 haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report
spellingShingle Porat, Sara
Full-commutation and fair-termination in equational (and combined) term-rewriting systems
title Full-commutation and fair-termination in equational (and combined) term-rewriting systems
title_auth Full-commutation and fair-termination in equational (and combined) term-rewriting systems
title_exact_search Full-commutation and fair-termination in equational (and combined) term-rewriting systems
title_full Full-commutation and fair-termination in equational (and combined) term-rewriting systems by S. Porat and N. Francez
title_fullStr Full-commutation and fair-termination in equational (and combined) term-rewriting systems by S. Porat and N. Francez
title_full_unstemmed Full-commutation and fair-termination in equational (and combined) term-rewriting systems by S. Porat and N. Francez
title_short Full-commutation and fair-termination in equational (and combined) term-rewriting systems
title_sort full commutation and fair termination in equational and combined term rewriting systems
volume_link (DE-604)BV010499135
work_keys_str_mv AT poratsara fullcommutationandfairterminationinequationalandcombinedtermrewritingsystems