Higher order algebra, logic, and term rewriting: second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1996
|
| Series: | Lecture notes in computer science
1074 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | WST: Higher-order algebra, logic, and term rewriting |
| Physical Description: | 287 S. graph. Darst. |
| ISBN: | 3540612548 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010720085 | ||
| 003 | DE-604 | ||
| 005 | 19960829 | ||
| 007 | t| | ||
| 008 | 960409s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 947188754 |2 DE-101 | |
| 020 | |a 3540612548 |9 3-540-61254-8 | ||
| 035 | |a (OCoLC)34617715 | ||
| 035 | |a (DE-599)BVBBV010720085 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-20 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267.H484 1996 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 082 | 0 | |a 511.3 20 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 554f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Higher order algebra, logic, and term rewriting |b second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers |c Gilles Dowek ... (eds.) |
| 246 | 1 | 3 | |a Higher-order algebra, logic, and term rewriting |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a 287 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 1074 | |
| 500 | |a WST: Higher-order algebra, logic, and term rewriting | ||
| 650 | 4 | |a Algèbre - Congrès | |
| 650 | 7 | |a Algèbre - Congrès |2 ram | |
| 650 | 7 | |a Herschrijfregels |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 4 | |a Réécriture, Systèmes de (Informatique) - Congrès | |
| 650 | 7 | |a Réécriture, Systèmes de (informatique) - Congrès |2 ram | |
| 650 | 7 | |a algèbre combinatoire |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a langage programmation |2 inriac | |
| 650 | 7 | |a logique équationnelle |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a système algébrique |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Rewriting systems (Computer science) -- Congresses | |
| 650 | 4 | |a Algebra -- Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Paderborn |2 gnd-content | |
| 689 | 0 | 0 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Dowek, Gilles |d 1966- |e Sonstige |0 (DE-588)11433191X |4 oth | |
| 711 | 2 | |a HOA |n 2 |d 1995 |c Paderborn |j Sonstige |0 (DE-588)2155182-0 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1074 |w (DE-604)BV000000607 |9 1074 | |
| 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=007158415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007158415 | |
Record in the Search Index
| _version_ | 1820868273694048256 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
TERM
GRAPH
REWRITING
JAN
WILLEM
KLOP
(INVITED
SPEAKER)
.
1
APPROXIMATION
AND
NORMALIZATION
RESULTS
FOR
TYPEABLE
TERM
REWRITING
SYSTEMS
STEFFEN
VAN
BAKEL
AND
MARIBEL
FERNANDEZ
.
17
MODULAR
PROPERTIES
OF
ALGEBRAIC
TYPE
SYSTEMS
GILLES
BARTHE
AND
HERMAN
GEUVERS
.
37
COLLAPSING
PARTIAL
COMBINATORY
ALGEBRAS
INGE
BETHKE
AND
JAN
WILLEM
KLOP
.
57
A
COMPLETE
PROOF
SYSTEM
FOR
NESTED
TERM
GRAPHS
STEFAN
BLOM
.
74
R
N
-
AND
G
N
-LOGICS
CLAUS
HINTERMEIER,
HELENE
KIRCHNER,
PETER
D.
MOSSES
.
90
THE
VARIABLE
CONTAINMENT
PROBLEM
STEFAN
KAHRS
.
109
HIGHER-ORDER
EQUATIONAL
LOGIC
FOR
SPECIFICATION,
SIMULATION
AND
TESTING
KARL
MEINKE
.
124
THE
CORRECTNESS
OF
A
HIGHER-ORDER
LAZY
FUNCTIONAL
LANGUAGE
IMPLEMENTATION:
AN
EXERCISE
IN
MECHANICAL
THEOREM
PROVING
SAVA
MINTCHEV
AND
DAVID
LESTER
.
144
ASSERTIONS
AND
RECURSIONS
BERNHARD
MOLLER
.
163
DEVELOPMENT
CLOSED
CRITICAL
PAIRS
VINCENT
VAN
OOSTROM
.
185
TWO
DIFFERENT
STRONG
NORMALIZATION
PROOFS?
JACO
VAN
DE
POL
.
201
THIRD-ORDER
MATCHING
IN
THE
POLYMORPHIC
LAMBDA
CALCULUS
JAN
SPRINGINTVELD
.
221
HIGHER-ORDER
ALGEBRA
WITH
TRANSFINITE
TYPES
L.J.
STEGGLES
.
238
ABSTRACTION
OF
HARDWARE
CONSTRUCTION
LI-GUO
WANG
AND
MICHAEL
MENDLER
.
264 |
| any_adam_object | 1 |
| author_GND | (DE-588)11433191X |
| building | Verbundindex |
| bvnumber | BV010720085 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.H484 1996 |
| callnumber-search | QA267.H484 1996 |
| callnumber-sort | QA 3267 H484 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 |
| classification_tum | DAT 540f DAT 554f |
| ctrlnum | (OCoLC)34617715 (DE-599)BVBBV010720085 |
| dewey-full | 511.3 511.320 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 511.3 20 |
| dewey-search | 511.3 511.3 20 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| 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">BV010720085</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960829</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960409s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947188754</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540612548</subfield><subfield code="9">3-540-61254-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34617715</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010720085</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.H484 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</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">Higher order algebra, logic, and term rewriting</subfield><subfield code="b">second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers</subfield><subfield code="c">Gilles Dowek ... (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Higher-order algebra, logic, and term rewriting</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">287 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">1074</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">WST: Higher-order algebra, logic, and term rewriting</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algèbre - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Herschrijfregels</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield><subfield code="2">ram</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="7"><subfield code="a">Réécriture, Systèmes de (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage fonctionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique équationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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">Algebra -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</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">1995</subfield><subfield code="z">Paderborn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dowek, Gilles</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11433191X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HOA</subfield><subfield code="n">2</subfield><subfield code="d">1995</subfield><subfield code="c">Paderborn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2155182-0</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">1074</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1074</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=007158415&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-007158415</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Paderborn gnd-content |
| genre_facet | Konferenzschrift 1995 Paderborn |
| id | DE-604.BV010720085 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:45Z |
| institution | BVB |
| institution_GND | (DE-588)2155182-0 |
| isbn | 3540612548 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007158415 |
| oclc_num | 34617715 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| physical | 287 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers Gilles Dowek ... (eds.) Higher-order algebra, logic, and term rewriting Berlin [u.a.] Springer 1996 287 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1074 WST: Higher-order algebra, logic, and term rewriting Algèbre - Congrès Algèbre - Congrès ram Herschrijfregels gtt Logica gtt Logique symbolique et mathématique - Congrès Logique symbolique et mathématique - Congrès ram Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès ram algèbre combinatoire inriac lambda calcul inriac langage fonctionnel inriac langage programmation inriac logique équationnelle inriac programmation en logique inriac réécriture inriac système algébrique inriac Logik Rewriting systems (Computer science) -- Congresses Algebra -- Congresses Logic, Symbolic and mathematical -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Paderborn gnd-content Termersetzungssystem (DE-588)4117189-5 s DE-604 Algebraische Spezifikation (DE-588)4207192-6 s Dowek, Gilles 1966- Sonstige (DE-588)11433191X oth HOA 2 1995 Paderborn Sonstige (DE-588)2155182-0 oth Lecture notes in computer science 1074 (DE-604)BV000000607 1074 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007158415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers Lecture notes in computer science Algèbre - Congrès Algèbre - Congrès ram Herschrijfregels gtt Logica gtt Logique symbolique et mathématique - Congrès Logique symbolique et mathématique - Congrès ram Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès ram algèbre combinatoire inriac lambda calcul inriac langage fonctionnel inriac langage programmation inriac logique équationnelle inriac programmation en logique inriac réécriture inriac système algébrique inriac Logik Rewriting systems (Computer science) -- Congresses Algebra -- Congresses Logic, Symbolic and mathematical -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4117189-5 (DE-588)1071861417 |
| title | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers |
| title_alt | Higher-order algebra, logic, and term rewriting |
| title_auth | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers |
| title_exact_search | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers |
| title_full | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers Gilles Dowek ... (eds.) |
| title_fullStr | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers Gilles Dowek ... (eds.) |
| title_full_unstemmed | Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers Gilles Dowek ... (eds.) |
| title_short | Higher order algebra, logic, and term rewriting |
| title_sort | higher order algebra logic and term rewriting second international workshop hoa 95 paderborn germany september 21 22 1995 selected papers |
| title_sub | second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers |
| topic | Algèbre - Congrès Algèbre - Congrès ram Herschrijfregels gtt Logica gtt Logique symbolique et mathématique - Congrès Logique symbolique et mathématique - Congrès ram Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès ram algèbre combinatoire inriac lambda calcul inriac langage fonctionnel inriac langage programmation inriac logique équationnelle inriac programmation en logique inriac réécriture inriac système algébrique inriac Logik Rewriting systems (Computer science) -- Congresses Algebra -- Congresses Logic, Symbolic and mathematical -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd |
| topic_facet | Algèbre - Congrès Herschrijfregels Logica Logique symbolique et mathématique - Congrès Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès algèbre combinatoire lambda calcul langage fonctionnel langage programmation logique équationnelle programmation en logique réécriture système algébrique Logik Rewriting systems (Computer science) -- Congresses Algebra -- Congresses Logic, Symbolic and mathematical -- Congresses Algebraische Spezifikation Termersetzungssystem Konferenzschrift 1995 Paderborn |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007158415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dowekgilles higherorderalgebralogicandtermrewritingsecondinternationalworkshophoa95paderborngermanyseptember21221995selectedpapers AT hoapaderborn higherorderalgebralogicandtermrewritingsecondinternationalworkshophoa95paderborngermanyseptember21221995selectedpapers AT dowekgilles higherorderalgebralogicandtermrewriting AT hoapaderborn higherorderalgebralogicandtermrewriting |