Rewriting techniques and applications: 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1993
|
| Series: | Lecture notes in computer science
690 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 487 S. graph. Darst. |
| ISBN: | 3540568689 0387568689 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008194792 | ||
| 003 | DE-604 | ||
| 005 | 19930901 | ||
| 007 | t| | ||
| 008 | 930831s1993 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 931285488 |2 DE-101 | |
| 020 | |a 3540568689 |9 3-540-56868-9 | ||
| 020 | |a 0387568689 |9 0-387-56868-9 | ||
| 035 | |a (OCoLC)28438982 | ||
| 035 | |a (DE-599)BVBBV008194792 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-20 |a DE-91G |a DE-19 |a DE-83 |a DE-188 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA267.I555 1993 | |
| 082 | 0 | |a 005.13/1 20 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 554f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Rewriting techniques and applications |b 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings |c Claude Kirchner (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a XI, 487 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 690 | |
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 4 | |a Algorithmes - Congrès | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Computermethoden |2 gtt | |
| 650 | 7 | |a Herschrijfregels |2 gtt | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 4 | |a Réécriture, Systèmes de (Informatique) - Congrès | |
| 650 | 4 | |a Rewriting systems (Computer science) -- Congresses | |
| 650 | 4 | |a Computer programming -- Congresses | |
| 650 | 4 | |a Algorithms -- Congresses | |
| 650 | 0 | 7 | |a Graph-Grammatik |0 (DE-588)4132847-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Montréal |2 gnd-content | |
| 689 | 0 | 0 | |a Reduktionssystem |0 (DE-588)4194895-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Graph-Grammatik |0 (DE-588)4132847-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kirchner, Claude |e Sonstige |4 oth | |
| 711 | 2 | |a RTA |n 5 |d 1993 |c Montréal |j Sonstige |0 (DE-588)5085432-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 690 |w (DE-604)BV000000607 |9 690 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005407111&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005407111 | |
Record in the Search Index
| _version_ | 1820868049304027136 |
|---|---|
| adam_text |
TABLE OF CONTENTS
INVITED TALK:
REWRITE TECHNIQUES IN THEOREM PROVING
L. BACHMAIR (UNIVERSITY OF NEW YORK AT STONY BROOK). 1
REDUNDANCY CRITERIA FOR CONSTRAINED COMPLETION
C. LYNCH AND W. SNYDER (BOSTON UNIVERSITY). 2
BI-REWRITING, A TERM REWRITING TECHNIQUE FOR MONOTONIC ORDER
RELATIONS
J. LEVY AND J. AGUSTI (CSIC, BLANES). 17
A CASE STUDY OF COMPLETION MODULO DISTRIBUTIVITY AND ABELIAN
GROUPS
H. ZHANG (THE UNIVERSITY OF IOWA CITY). 32
A SEMANTIC APPROACH TO ORDER-SORTED REWRITING
A. WERNER (UNIVERSITY OF KARLSRUHE) . 47
DISTRIBUTING EQUATIONAL THEOREM PROVING
J. AVENHAUS AND J. DENZINGER (UNIVERSITY OF KAISERSLAUTERN). 62
ON THE CORRECTNESS OF A DISTRIBUTED MEMORY GROBNER BASIS
ALGORITHM
S. CHAKRABARTI AND K. YELICK (UNIVERSITY OF CALIFORNIA AT BERKELEY) . 77
IMPROVING TRANSFORMATION SYSTEMS FOR GENERAL -E-UNIFICATION
M. MOSER (TECHNICAL UNIVERSITY OF MUNICH). 92
EQUATIONAL AND MEMBERSHIP CONSTRAINTS FOR INFINITE TREES
J. NIEHREN (DFKI, SAARBRIICKEN), A. PODELSKI (DEC, PARIS) AND R.
TREINEN (DFKI, SAARBRIICKEN) .106
REGULAR PATH EXPRESSIONS IN FEATURE LOGIC
R. BACKOFEN (DFKI, SAARBRIICKEN).121
INVITED TALK:
PROVING PROPERTIES OF TYPED LAMBDA TERMS: REALIZABILITY,
COVERS, AND SHEAVES
J, GALLIER (UNIVERSITY OF PENNSYLVANIA AT PHILADELPHIA).136
SOME LAMBDA CALCULI WITH CATEGORICAL SUMS AND PRODUCTS
D. J. DOUGHERTY (WESLEYAN UNIVERSITY).137
PATHS, COMPUTATIONS AND LABELS IN THE A-CALCULUS
A. ASPERTI (UNIVERSITY OF BOLOGNA) AND C. LANEVE (INRIA SOPHIA-
ANTIPOLIS).152
CONFLUENCE AND SUPERDEVELOPMENTS
F. VAN RAAMSDONK (CW1, AMSTERDAM).168
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/931285488
X
RELATING GRAPH AND TERM REWRITING VIA BOHM MODELS
Z.M. ARIOLA (UNIVERSITY OF OREGON AT EUGENE) .183
TOPICS IN TERMINATION
N. DERSHOWITZ AND C. HOOT (UNIVERSITY OF ILLINOIS AT URBANA).198
TOTAL TERMINATION OF TERM REWRITING
M.C.F. FERREIRA AND H. ZANTEMA (UNIVERSITY OF UTRECHT).213
SIMPLE TERMINATION IS DIFFICULT
A. MIDDELDORP (UNIVERSITY OF TSUKUBA) AND B. GRAMHCH (UNIVERSITY
OF KAISERSLAUTERN).
OPTIMAL NORMALIZATION IN ORTHOGONAL TERM REWRITING SYSTEMS
Z. KHASIDASHVILI (INRIA ROCQUENCOURT).
A GRAPH REDUCTION APPROACH TO INCREMENTAL TERM REWRITING
J. FIELD (IBM T.J. WATSON RESEARCH CENTER).
GENERATING TABLES FOR BOTTOM-UP MATCHING
E. LIPPE (SOFTWARE ENGINEERING RESEARCH CENTRE, UTRECHT).
228
243
259
274
INVITED TALK:
ON SOME ALGORITHMIC PROBLEMS FOR GROUPS AND MONOIDS
S. I. ADIAN (STEKLOV MATHEMATICAL INSTITUTE, MOSCOW).289
COMBINATION TECHNIQUES AND DECISION PROBLEMS FOR
DISUNIFI CATION
F. BAADER (DFKI, SAARBRIICKEN) AND K. SCHULZ (UNIVERSITY OF MUNICH) 301
THE NEGATION ELIMINATION FROM SYNTACTIC EQUATIONAL FORMULA IS
DECIDABLE
M. TAJINE (UNIVERSITY LOUIS PASTEUR, STRASBOURG).316
ENCOMPASSMENT PROPERTIES AND AUTOMATA WITH CONSTRAINTS
A.-C. CARON AND J.-L. COQUIDE AND M. DAUCHET (UNIVERSITY OF LILLE) 328
RECURSIVELY DEFINED TREE TRANSDUCTIONS
J.-C. RAOUH (IRISA, RENNES) .
AC-COMPLEMENT PROBLEMS: SATISFIABILITY AND NEGATION
ELIMINATION
M. FERNANDEZ (LRI, ORSAY).
A PRECEDENCE-BASED TOTAL AC-COMPATIBLE ORDERING
A. RUBIO AND R. NIEUWENHUIS (UNIVERSITY OF BARCELONA) . . . .
EXTENSION OF THE ASSOCIATIVE PATH ORDERING TO A CHAIN OF
ASSOCIATIVE COMMUTATIVE SYMBOLS
C. DELOR AND L. PUEL (LRI, ORSAY) .
343
358
374
389
POLYNOMIAL TIME TERMINATION AND CONSTRAINT SATISFACTION TESTS
D.A. PLAISTED (UNIVERSITY OF NORTH CAROLINA, CHAPEL HILL).405
XI
LINEAR INTERPRETATIONS BY COUNTING PATTERNS
U. MARTIN (UNIVERSITY OF ST ANDREWS, FIFE).421
SOME UNDECIDABLE TERMINATION PROBLEMS FOR SEMI-THUE
SYSTEMS
G. SENIZERGUES (LABRI, BORDEAUX) .434
SYSTEM DESCRIPTIONS
SATURATION OF FIRST-ORDER (CONSTRAINED) CLAUSES WITH THE
SATURATE
SYSTEM
P. NIVELA AND R. NIEUWENHUIS (UNIVERSITY OF BARCELONA) .436
MERILL: AN EQUATIONAL REASONING SYSTEM IN STANDARD ML
B. MATTHEWS (UNIVERSITY OF GLASGOW) .441
REDUCE THE REDEX -
YY
REDUX
R. BUNDGEN (UNIVERSITY OF TUBINGEN).446
AGG - AN IMPLEMENTATION OF ALGEBRAIC GRAPH REWRITING
M. LOWE AND M. BEYER (TECHNICAL UNIVERSITY OF BERLIN).451
SMARAN: A CONGRUENCE-CLOSURE BASED SYSTEM FOR EQUATIONAL
COMPUTATIONS
R. M. VERMA (UNIVERSITY OF HOUSTON).457
LAMBDALG: HIGHER ORDER ALGEBRAIC SPECIFICATION LANGUAGE
Y. GUI AND M. OKADA (CONCORDIA UNIVERSITY, MONTREAL).462
OPEN PROBLEMS
MORE PROBLEMS IN REWRITING
N. DERSHOWITZ (UNIVERSITY OF ILLINOIS AT URBANA), J.-P. JOUANNAUD
(LRI, ORSAY) AND J.W. KLOP (CWI, AMSTERDAM).468
AUTHORS INDEX.488 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008194792 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.I555 1993 |
| callnumber-search | QA267.I555 1993 |
| callnumber-sort | QA 3267 I555 41993 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| classification_tum | DAT 554f |
| ctrlnum | (OCoLC)28438982 (DE-599)BVBBV008194792 |
| dewey-full | 005.13/120 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 20 005.13/1 |
| dewey-search | 005.13/1 20 005.13/1 |
| dewey-sort | 15.13 11 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008194792</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930901</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930831s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">931285488</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540568689</subfield><subfield code="9">3-540-56868-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387568689</subfield><subfield code="9">0-387-56868-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28438982</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008194792</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.I555 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</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="084" ind1=" " ind2=" "><subfield code="a">DAT 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rewriting techniques and applications</subfield><subfield code="b">5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings</subfield><subfield code="c">Claude Kirchner (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 487 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">Lecture notes in computer science</subfield><subfield code="v">690</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithmes - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computermethoden</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Herschrijfregels</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réécriture, Systèmes de (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science) -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kirchner, Claude</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RTA</subfield><subfield code="n">5</subfield><subfield code="d">1993</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5085432-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">690</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">690</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005407111&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005407111</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Montréal gnd-content |
| genre_facet | Konferenzschrift 1993 Montréal |
| id | DE-604.BV008194792 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:11Z |
| institution | BVB |
| institution_GND | (DE-588)5085432-X |
| isbn | 3540568689 0387568689 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005407111 |
| oclc_num | 28438982 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-188 DE-11 DE-706 |
| owner_facet | DE-739 DE-384 DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-188 DE-11 DE-706 |
| physical | XI, 487 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings Claude Kirchner (ed.) Berlin u.a. Springer 1993 XI, 487 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 690 Algebraïsche logica gtt Algorithmes - Congrès Bewijstheorie gtt Computermethoden gtt Herschrijfregels gtt Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Rewriting systems (Computer science) -- Congresses Computer programming -- Congresses Algorithms -- Congresses Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Montréal gnd-content Reduktionssystem (DE-588)4194895-6 s DE-604 Graph-Grammatik (DE-588)4132847-4 s Programmiersprache (DE-588)4047409-4 s Kirchner, Claude Sonstige oth RTA 5 1993 Montréal Sonstige (DE-588)5085432-X oth Lecture notes in computer science 690 (DE-604)BV000000607 690 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005407111&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings Lecture notes in computer science Algebraïsche logica gtt Algorithmes - Congrès Bewijstheorie gtt Computermethoden gtt Herschrijfregels gtt Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Rewriting systems (Computer science) -- Congresses Computer programming -- Congresses Algorithms -- Congresses Graph-Grammatik (DE-588)4132847-4 gnd Reduktionssystem (DE-588)4194895-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4132847-4 (DE-588)4194895-6 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings |
| title_auth | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings |
| title_exact_search | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings |
| title_full | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings Claude Kirchner (ed.) |
| title_fullStr | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings Claude Kirchner (ed.) |
| title_full_unstemmed | Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings Claude Kirchner (ed.) |
| title_short | Rewriting techniques and applications |
| title_sort | rewriting techniques and applications 5th international conference rta 93 montreal canada june 16 18 1993 proceedings |
| title_sub | 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings |
| topic | Algebraïsche logica gtt Algorithmes - Congrès Bewijstheorie gtt Computermethoden gtt Herschrijfregels gtt Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Rewriting systems (Computer science) -- Congresses Computer programming -- Congresses Algorithms -- Congresses Graph-Grammatik (DE-588)4132847-4 gnd Reduktionssystem (DE-588)4194895-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Algebraïsche logica Algorithmes - Congrès Bewijstheorie Computermethoden Herschrijfregels Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Rewriting systems (Computer science) -- Congresses Computer programming -- Congresses Algorithms -- Congresses Graph-Grammatik Reduktionssystem Programmiersprache Konferenzschrift 1993 Montréal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005407111&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kirchnerclaude rewritingtechniquesandapplications5thinternationalconferencerta93montrealcanadajune16181993proceedings AT rtamontreal rewritingtechniquesandapplications5thinternationalconferencerta93montrealcanadajune16181993proceedings |