Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

Bibliographische Detailangaben

Titel
Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
verantwortlich
Rusinowitch, Michaël (Sonstige); Rusinovič, Michail (HerausgeberIn); CTRS (Sonstige)
Schriftenreihe
Lecture notes in computer science ; 656
veröffentlicht
Berlin, Heidelberg [u.a.]: Springer-Verl., 1993
Erscheinungsjahr
1993
Teil von
Lecture notes in computer science ; 656
Erscheint auch als
Rusinowitch, Michael, Conditional Term Rewriting Systems, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource
Online-Ausg.
Conditional term rewriting systems, Berlin [u.a.] : Springer, 1993, Online-Ressource (XI, 501 S.)
Medientyp
Buch Konferenzbericht
Datenquelle
K10plus Verbundkatalog
Tags
Tag hinzufügen
LEADER 05416cam a2201045 4500
001 183-12087704X
003 DE-627
005 20240416225359.0
007 tu
008 930123s1993 gw ||||| 00| ||eng c
015 |a 93,N04,0376  |2 dnb 
016 7 |a 930204271  |2 DE-101 
020 |a 3540563938  |c  : DM 96.00 ((Berlin ...)  |9 3-540-56393-8 
020 |a 0387563938  |c  ((New York ...)  |9 0-387-56393-8 
035 |a (DE-627)12087704X 
035 |a (DE-576)031812538 
035 |a (DE-599)GBV12087704X 
035 |a (OCoLC)610806665 
035 |a (OCoLC)311589772 
035 |a (ZBM)0825.00125 
035 |a (DE-604)8059818751 
035 |a (ZBM)0825.00125 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XD-US  |c XA-GB 
084 |a 28  |2 sdnb 
084 |a SS 4800  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a ST 130  |2 rvk  |0 (DE-625)rvk/143588: 
084 |a *00B25  |2 msc 
084 |a 68-06  |2 msc 
084 |a 54.10  |2 bkl 
084 |a 54.62  |2 bkl 
090 |a a 
245 1 0 |a Conditional term rewriting systems  |b third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings  |c M. Rusinowitch ... (ed.) 
264 1 |a Berlin  |a Heidelberg [u.a.]  |b Springer-Verl.  |c 1993 
300 |a XI, 501 S.  |b graph. Darst. 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science  |v 656 
500 |a Literaturangaben 
583 1 |a Archivierung/Langzeitarchivierung gewährleistet  |f PEBW  |x XA-DE-BW  |2 pdager  |5 DE-31 
650 0 |a Rewriting systems (Computer science)  |x Congresses 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |y 1992  |z Pont-à-Mousson  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4200454-8  |0 (DE-627)105173541  |0 (DE-576)210135581  |a Bedingtes Termersetzungssystem  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Rusinowitch, Michaël  |4 oth 
700 1 |a Rusinovič, Michail  |e Hrsg.  |0 (DE-627)1240136773  |0 (DE-576)170136779  |4 edt 
711 2 |a CTRS  |n 3  |d 1992  |c Pont-à-Mousson  |0 (DE-588)2126878-2  |0 (DE-627)121353532  |0 (DE-576)194326438  |4 oth 
776 0 8 |i Online-Ausg.  |t Conditional term rewriting systems  |d Berlin [u.a.] : Springer, 1993  |h Online-Ressource (XI, 501 S.)  |w (DE-627)595126790  |w (DE-576)9595126799  |z 9783540475491 
776 0 8 |i Erscheint auch als  |n Online-Ausgabe  |a Rusinowitch, Michael  |t Conditional Term Rewriting Systems  |d Berlin, Heidelberg : Springer Berlin Heidelberg, 1993  |h Online-Ressource  |w (DE-627)1649297009  |w (DE-576)322905311  |z 9783540475491 
830 0 |a Lecture notes in computer science  |v 656  |9 656  |w (DE-627)129300152  |w (DE-576)014492687  |w (DE-600)121909-1  |x 0302-9743  |7 ns 
856 4 2 |u https://swbplus.bsz-bw.de/bsz031812538cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150910142303  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:0825.00125  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a SSG-OPC-mat 
924 0 |a 024622222  |b DE-1a  |9 1a  |c GBV  |d c  |g 1 A 167931  |h 2 
924 0 |a 100534295  |b DE-84  |9 84  |c GBV  |d c  |g 2715-0742 
924 0 |a 165982543  |b DE-46  |9 46  |c GBV  |d c  |g 01.p.0591  |h Magazin 
924 0 |a 846792583  |b DE-18  |9 18  |c GBV  |d d  |g 3 Pon 1992  |h 18/263 
924 0 |a 087940914  |b DE-18  |9 18  |c GBV  |d c  |g X/12948: 656  |h SUB 
924 0 |a 163041253  |b DE-830  |9 830  |c GBV  |d c  |g 2734-3452  |h 27 
924 0 |a 321321014  |b DE-8  |9 8  |c GBV  |d d  |g LNCS;656 R-23869  |g 1. Obergeschoss  |h 8/60a 
924 0 |a 1370732686  |b DE-104  |9 104  |c GBV  |g Ra 396 Bd 656 
924 0 |a 151226733  |b DE-27  |9 27  |c GBV  |d c  |g INF:::LNCS:656:1993  |g 93 NA 7454/1  |h J 50 
924 0 |a 122456270  |b DE-Ilm1  |9 Ilm 1  |c GBV  |d c  |g INF 1861  |h 93 
924 0 |a 103418423  |b DE-7  |9 7  |c GBV  |d c  |g ZA 37158:656 
924 0 |a 233914382  |b DE-28  |9 28  |c GBV  |g SS 4800-656  |g 93 A 8617  |h 28/BB1-MAG 
924 0 |a 27114971X  |b DE-89  |9 89  |c GBV  |d b  |g RN 2835(656) 
924 0 |a 3162560985  |b DE-21-119  |9 21/119  |c BSZ  |d b  |g F.4.1 
924 0 |a 3162561086  |b DE-25-91  |9 25/91  |c BSZ  |d c  |g Frei 91: CA/0.0/1-656 
924 0 |a 3162561132  |b DE-14  |9 14  |c BSZ  |d c  |g 93 8 09444 
924 0 |a 3162561191  |b DE-24  |9 24  |c BSZ  |d c  |g 43/5212 
924 0 |a 3162561302  |b DE-180  |9 180  |c BSZ  |d d  |g 400 SS 4800-656  |h 400 
924 0 |a 3162561310  |b DE-180  |9 180  |c BSZ  |d c  |g  93 A 1383  |h MAG07 
924 0 |a 316256137X  |b DE-15  |9 15  |c BSZ  |d c 
924 0 |a 3162561493  |b DE-93  |9 93  |c BSZ  |d c  |g 3H 1047-656 
924 0 |a 316256154X  |b DE-31  |9 31  |c BSZ  |d c  |g 88 A 15776,3 
924 0 |a 3162561590  |b DE-Ch1  |9 Ch 1  |c BSZ  |d c  |g SS 4800 656 
924 0 |a 3162561647  |b DE-289  |9 289  |c BSZ  |d c  |g QAA 7/A1.656  |h O 
924 0 |a 3162561736  |b DE-Sa18  |9 Sa 18  |c BSZ  |d b 
924 0 |a 3988671967  |b DE-982  |9 982#  |c BSZ  |d d 
935 |i sf 
935 |i Blocktest 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 r v |a ST 130  |b Allgemeines  |k Informatik  |k Monografien  |k Grundlagen der Informatik  |k Theoretische Informatik  |k Allgemeines  |0 (DE-627)1270877461  |0 (DE-625)rvk/143588:  |0 (DE-576)200877461 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
936 b k |a 54.62  |j Datenstrukturen  |0 (DE-627)106403265 
951 |a BO 
980 |a 12087704X  |b 183  |c sid-183-col-kxpbbi 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=Conditional+term+rewriting+systems%3A+third+international+workshop%2C+CTRS-92%2C+Pont-%C3%A0-Mousson%2C+France%2C+July+8+-+10%2C+1992+%3B+proceedings&rft.date=1993&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Conditional+term+rewriting+systems%3A+third+international+workshop%2C+CTRS-92%2C+Pont-%C3%A0-Mousson%2C+France%2C+July+8+-+10%2C+1992+%3B+proceedings&rft.series=Lecture+notes+in+computer+science%2C+656&rft.au=&rft.pub=Springer-Verl.&rft.edition=&rft.isbn=3540563938
SOLR
_version_ 1798422739367755776
author2 Rusinowitch, Michaël, Rusinovič, Michail
author2_role oth, edt
author2_variant m r mr, m r mr
author_corporate CTRS
author_corporate_role oth
author_facet Rusinowitch, Michaël, Rusinovič, Michail, CTRS
building Library A
callnumber-label A
callnumber-raw a
callnumber-search a
callnumber-sort A
collection SSG-OPC-mat, sid-183-col-kxpbbi
ctrlnum (DE-627)12087704X, (DE-576)031812538, (DE-599)GBV12087704X, (OCoLC)610806665, (OCoLC)311589772, (ZBM)0825.00125, (DE-604)8059818751
era_facet 1992
facet_912a SSG-OPC-mat
facet_avail Local
facet_local_del330 Bedingtes Termersetzungssystem
finc_class_facet Informatik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format Book, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-print-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy Book
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv Book
genre Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 1992 Pont-à-Mousson (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Pont-à-Mousson
hierarchy_parent_id 183-129300152
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 656
hierarchy_top_id 183-129300152
hierarchy_top_title Lecture notes in computer science
id 183-12087704X
illustrated Not Illustrated
imprint Berlin, Heidelberg [u.a.], Springer-Verl., 1993
imprint_str_mv Berlin; Heidelberg [u.a.]: Springer-Verl., 1993
institution FID-BBI-DE-23
is_hierarchy_id 183-12087704X
is_hierarchy_title Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
isbn 3540563938, 0387563938
isbn_isn_mv 9783540475491
issn_isn_mv 0302-9743
language English
last_indexed 2024-05-07T19:19:35.654Z
marc_error [geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @20e8cc55
match_str rusinowitch1993conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings
mega_collection K10plus Verbundkatalog
multipart_link 014492687
multipart_part (014492687)656
oclc_num 610806665, 311589772
physical XI, 501 S.; graph. Darst
publishDate 1993
publishDateSort 1993
publishPlace Berlin
publisher Springer-Verl.
record_format marcfinc
record_id 12087704X
recordtype marcfinc
rvk_facet SS 4800, ST 130
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science, Monografien, Grundlagen der Informatik, Theoretische Informatik, Allgemeines
rvk_path SS, ST, SQ - SU, SS 4000 - SS 5999, SS 4800, ST 120 - ST 140, ST 130 - ST 140, ST 130
rvk_path_str_mv SS, ST, SQ - SU, SS 4000 - SS 5999, SS 4800, ST 120 - ST 140, ST 130 - ST 140, ST 130
series Lecture notes in computer science, 656
series2 Lecture notes in computer science ; 656
source_id 183
spelling Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.), Berlin Heidelberg [u.a.] Springer-Verl. 1993, XI, 501 S. graph. Darst., Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Lecture notes in computer science 656, Literaturangaben, Archivierung/Langzeitarchivierung gewährleistet PEBW XA-DE-BW pdager DE-31, Rewriting systems (Computer science) Congresses, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 1992 Pont-à-Mousson (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4200454-8 (DE-627)105173541 (DE-576)210135581 Bedingtes Termersetzungssystem gnd, (DE-627), Rusinowitch, Michaël oth, Rusinovič, Michail Hrsg. (DE-627)1240136773 (DE-576)170136779 edt, CTRS 3 1992 Pont-à-Mousson (DE-588)2126878-2 (DE-627)121353532 (DE-576)194326438 oth, Online-Ausg. Conditional term rewriting systems Berlin [u.a.] : Springer, 1993 Online-Ressource (XI, 501 S.) (DE-627)595126790 (DE-576)9595126799 9783540475491, Erscheint auch als Online-Ausgabe Rusinowitch, Michael Conditional Term Rewriting Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1993 Online-Ressource (DE-627)1649297009 (DE-576)322905311 9783540475491, Lecture notes in computer science 656 656 (DE-627)129300152 (DE-576)014492687 (DE-600)121909-1 0302-9743 ns, https://swbplus.bsz-bw.de/bsz031812538cov.jpg V:DE-576 X:springer image/jpeg 20150910142303 Cover, https://zbmath.org/?q=an:0825.00125 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext
spellingShingle Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings, Lecture notes in computer science, 656, Rewriting systems (Computer science) Congresses, Konferenzschrift, Konferenzschrift 1992 Pont-à-Mousson, Bedingtes Termersetzungssystem
title Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
title_auth Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
title_full Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.)
title_fullStr Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.)
title_full_unstemmed Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.)
title_in_hierarchy 656. Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings (1993)
title_short Conditional term rewriting systems
title_sort conditional term rewriting systems third international workshop, ctrs-92, pont-à-mousson, france, july 8 - 10, 1992 ; proceedings
title_sub third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
title_unstemmed Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
topic Rewriting systems (Computer science) Congresses, Konferenzschrift, Konferenzschrift 1992 Pont-à-Mousson, Bedingtes Termersetzungssystem
topic_facet Rewriting systems (Computer science), Congresses, Konferenzschrift, Bedingtes Termersetzungssystem
url https://swbplus.bsz-bw.de/bsz031812538cov.jpg, https://zbmath.org/?q=an:0825.00125
work_keys_str_mv AT rusinowitchmichael conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings, AT rusinovicmichail conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings, AT ctrspontamousson conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings