Higher order algebra, logic, and term rewriting: first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1994
|
| Series: | Lecture notes in computer science
816 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 344 S. graph. Darst. |
| ISBN: | 3540582339 0387582339 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009676046 | ||
| 003 | DE-604 | ||
| 005 | 20140226 | ||
| 007 | t| | ||
| 008 | 940620s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 941360644 |2 DE-101 | |
| 020 | |a 3540582339 |9 3-540-58233-9 | ||
| 020 | |a 0387582339 |9 0-387-58233-9 | ||
| 035 | |a (OCoLC)30667008 | ||
| 035 | |a (DE-599)BVBBV009676046 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-19 |a DE-91G |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267.I5785 1994 | |
| 082 | 0 | |a 005.1/01/5113 |2 20 | |
| 082 | 0 | |a 005.1/01/5113 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 110f |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 first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers |c Jan Heering ... (eds.) |
| 246 | 1 | 3 | |a Higher-order algebra, logic, and term rewriting |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1994 | |
| 300 | |a 344 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 816 | |
| 650 | 4 | |a Algèbre - Congrès | |
| 650 | 7 | |a Algèbre - Congrès |2 ram | |
| 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 |2 inriac | |
| 650 | 7 | |a implémentation système |2 inriac | |
| 650 | 7 | |a langage programmation |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification langage |2 inriac | |
| 650 | 7 | |a théorie modèle |2 inriac | |
| 650 | 7 | |a vérification logique |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 1993 |z Amsterdam |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 Heering, Jan |e Sonstige |4 oth | |
| 711 | 2 | |a HOA |n 1 |d 1993 |c Amsterdam |j Sonstige |0 (DE-588)2137378-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 816 |w (DE-604)BV000000607 |9 816 | |
| 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=006399674&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006399674 | |
Record in the Search Index
| _version_ | 1820868059468922880 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INTERACTION
SYSTEMS
ANDREA
ASPERTI
AND
COSIMO
LANEVE
.
1
STRONG
NORMALIZATION
OF
TYPEABLE
REWRITE
SYSTEMS
STEFFEN
VAN
BAKEL
AND
MARIBEL
FERNANDEZ
.
20
A
TRANSFORMATION
SYSTEM
COMBINING
PARTIAL
EVALUATION
WITH
TERM
REWRITING
FRANGOISE
BELLEGARDE
.
40
PROTOTYPING
RELATIONAL
SPECIFICATIONS
USING
HIGHER-ORDER
OBJECTS
RUDOLF
BERGHAMMER,
THOMAS
F.
GRITZNER,
GUNTHER
SCHMIDT
.
56
ORIGIN
TRACKING
FOR
HIGHER-ORDER
TERM
REWRITING
SYSTEMS
ARIE
VAN
DEURSEN
AND
T.B.
DINESH
.
76
THEORY
INTERPRETATION
IN
SIMPLE
TYPE
THEORY
WILLIAM
H.
FARMER
.
96
THE
SEMANTICS
OF
SPECTRUM
RADU
GROSU
AND
FRANZ
REGENSBURGER
.
124
ATLAS:
A
TYPED
LANGUAGE
FOR
ALGEBRAIC
SPECIFICATION
B.M.
HEARN
AND
K.
MEINKE
.
146
COMPILATION
OF
COMBINATORY
REDUCTION
SYSTEMS
STEFAN
KAHRS
.
169
SPECIFICATION
AND
VERIFICATION
IN
HIGHER-ORDER
ALGEBRA:
A
CASE
STUDY
OF
CONVOLUTION
K.
MEINKE
AND
L.J.
STEGGLES
.
189
ORDERED
AND
CONTINUOUS
MODELS
OF
HIGHER-ORDER
SPECIFICATIONS
BERNHARD
MOLLER
.
_
.
223
REWRITING
PROPERTIES
OF
COMBINATORS
FOR
RUDIMENTARY
LINEAR
LOGIC
MONICA
NESI,
VALERIA
DE
PAIVA,
EIKE
RITTER
.
256
COMPARING
COMBINATORY
REDUCTION
SYSTEMS
AND
HIGHER-ORDER
REWRITE
SYSTEMS
VINCENT
VAN
OOSTROM
AND
FEMKE
VAN
RAAMSDONK
.
276
TERMINATION
PROOFS
FOR
HIGHER-ORDERREWRITE
SYSTEMS
JACO
VAN
DE
POL
.
305
EXTENSIONS
OF
INITIAL
MODELS
AND
THEIR
SECOND-ORDER
PROOF
SYSTEMS
PIERRE
YVES
SCHOBBENS
.
326 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009676046 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.I5785 1994 |
| callnumber-search | QA267.I5785 1994 |
| callnumber-sort | QA 3267 I5785 41994 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | MAT 110f DAT 554f |
| ctrlnum | (OCoLC)30667008 (DE-599)BVBBV009676046 |
| dewey-full | 005.1/01/5113 005.1/01/511320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 005.1/01/5113 20 |
| dewey-search | 005.1/01/5113 005.1/01/5113 20 |
| dewey-sort | 15.1 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV009676046</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140226</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940620s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941360644</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540582339</subfield><subfield code="9">3-540-58233-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387582339</subfield><subfield code="9">0-387-58233-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30667008</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009676046</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</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.I5785 1994</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</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">first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers</subfield><subfield code="c">Jan Heering ... (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">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">344 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">816</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">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</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">implémentation système</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 mathématique</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">spécification langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification logique</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">1993</subfield><subfield code="z">Amsterdam</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">Heering, Jan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HOA</subfield><subfield code="n">1</subfield><subfield code="d">1993</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2137378-4</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">816</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">816</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=006399674&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-006399674</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1993 Amsterdam |
| id | DE-604.BV009676046 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:21Z |
| institution | BVB |
| institution_GND | (DE-588)2137378-4 |
| isbn | 3540582339 0387582339 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006399674 |
| oclc_num | 30667008 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-83 DE-11 DE-188 DE-706 |
| physical | 344 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| 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 first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers Jan Heering ... (eds.) Higher-order algebra, logic, and term rewriting Berlin u.a. Springer 1994 344 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 816 Algèbre - Congrès Algèbre - Congrès ram 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 inriac implémentation système inriac langage programmation inriac logique mathématique inriac programmation en logique inriac réécriture inriac spécification langage inriac théorie modèle inriac vérification logique 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 1993 Amsterdam gnd-content Termersetzungssystem (DE-588)4117189-5 s DE-604 Algebraische Spezifikation (DE-588)4207192-6 s Heering, Jan Sonstige oth HOA 1 1993 Amsterdam Sonstige (DE-588)2137378-4 oth Lecture notes in computer science 816 (DE-604)BV000000607 816 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006399674&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers Lecture notes in computer science Algèbre - Congrès Algèbre - Congrès ram 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 inriac implémentation système inriac langage programmation inriac logique mathématique inriac programmation en logique inriac réécriture inriac spécification langage inriac théorie modèle inriac vérification logique 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 first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers |
| title_alt | Higher-order algebra, logic, and term rewriting |
| title_auth | Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers |
| title_exact_search | Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers |
| title_full | Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers Jan Heering ... (eds.) |
| title_fullStr | Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers Jan Heering ... (eds.) |
| title_full_unstemmed | Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers Jan Heering ... (eds.) |
| title_short | Higher order algebra, logic, and term rewriting |
| title_sort | higher order algebra logic and term rewriting first international workshop hoa 93 amsterdam the netherlands september 23 24 1993 selected papers |
| title_sub | first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers |
| topic | Algèbre - Congrès Algèbre - Congrès ram 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 inriac implémentation système inriac langage programmation inriac logique mathématique inriac programmation en logique inriac réécriture inriac spécification langage inriac théorie modèle inriac vérification logique 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 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 implémentation système langage programmation logique mathématique programmation en logique réécriture spécification langage théorie modèle vérification logique Logik Rewriting systems (Computer science) -- Congresses Algebra -- Congresses Logic, Symbolic and mathematical -- Congresses Algebraische Spezifikation Termersetzungssystem Konferenzschrift 1993 Amsterdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006399674&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT heeringjan higherorderalgebralogicandtermrewritingfirstinternationalworkshophoa93amsterdamthenetherlandsseptember23241993selectedpapers AT hoaamsterdam higherorderalgebralogicandtermrewritingfirstinternationalworkshophoa93amsterdamthenetherlandsseptember23241993selectedpapers AT heeringjan higherorderalgebralogicandtermrewriting AT hoaamsterdam higherorderalgebralogicandtermrewriting |