Logic and algebra of specification: [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1993
|
| Schriftenreihe: | NATO: NATO ASI series / F
94 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 442 S. graph. Darst. |
| ISBN: | 3540558136 0387558136 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008309061 | ||
| 003 | DE-604 | ||
| 005 | 20080804 | ||
| 007 | t | ||
| 008 | 931018s1993 gw d||| |||| 10||| eng d | ||
| 020 | |a 3540558136 |9 3-540-55813-6 | ||
| 020 | |a 0387558136 |9 0-387-55813-6 | ||
| 035 | |a (OCoLC)243770042 | ||
| 035 | |a (DE-599)BVBBV008309061 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-12 |a DE-91G |a DE-29T |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 004/.01/5113 | |
| 084 | |a SD 1991 |0 (DE-625)142725: |2 rvk | ||
| 084 | |a SS 1991 |0 (DE-625)143428: |2 rvk | ||
| 084 | |a DAT 335f |2 stub | ||
| 245 | 1 | 0 | |a Logic and algebra of specification |b [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] |c ed. by Friedrich L. Bauer ... |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1993 | |
| 300 | |a 442 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a NATO: NATO ASI series / F |v 94 | |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardware |0 (DE-588)4023422-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Marktoberdorf |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 2 | 1 | |a Hardware |0 (DE-588)4023422-8 |D s |
| 689 | 2 | 2 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 2 | 3 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Bauer, Friedrich L. |d 1924-2015 |e Sonstige |0 (DE-588)10427459X |4 oth | |
| 711 | 2 | |a Advanced Study Institute on Logic and Algebra of Specification |d 1991 |c Marktoberdorf |j Sonstige |0 (DE-588)2130316-2 |4 oth | |
| 810 | 2 | |a F |t NATO: NATO ASI series |v 94 |w (DE-604)BV000013052 |9 94 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489042&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005489042 | ||
Datensatz im Suchindex
| _version_ | 1804122701044908032 |
|---|---|
| adam_text | Table of Contents
Distributed Action Systems 1
Wilfried Brauer
Lectures on: Classical Proofs as Programs 31
Robert L. Constable
Linear Logic: A Survey 63
Jean Yves Girard
Some Proof Theoretic Aspects of Logic Programming 113
Gerhard Jdger
The Safety Progress Classification 143
Edward Chang, Zohar Manna, Amir Pnueli
The Polyadic 7r Calculus: A Tutorial 203
Robin Milner
An Introduction to Action Semantics 247
Peter D. Mosses
Minimal Logic for Computable Functions 289
H. Schwichtenberg
Infinite Synchronous Concurrent Algorithms
The Algebraic Specification and Verification of a Hardware Stack 321
B. McConnell, J. V. Tucker
Four Lectures on Primitive Recursion 377
Stanley S. Wainer
Structured Specifications: Syntax, Semantics and Proof Calculus 411
Martin Wirsing
|
| any_adam_object | 1 |
| author_GND | (DE-588)10427459X |
| building | Verbundindex |
| bvnumber | BV008309061 |
| classification_rvk | SD 1991 SS 1991 |
| classification_tum | DAT 335f |
| ctrlnum | (OCoLC)243770042 (DE-599)BVBBV008309061 |
| dewey-full | 004/.01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/5113 |
| dewey-search | 004/.01/5113 |
| dewey-sort | 14 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>02795nam a2200625 cb4500</leader><controlfield tag="001">BV008309061</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080804 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931018s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540558136</subfield><subfield code="9">3-540-55813-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387558136</subfield><subfield code="9">0-387-55813-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243770042</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008309061</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1991</subfield><subfield code="0">(DE-625)142725:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1991</subfield><subfield code="0">(DE-625)143428:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and algebra of specification</subfield><subfield code="b">[proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]</subfield><subfield code="c">ed. by Friedrich L. Bauer ...</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">442 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">NATO: NATO ASI series / F</subfield><subfield code="v">94</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardware</subfield><subfield code="0">(DE-588)4023422-8</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">1991</subfield><subfield code="z">Marktoberdorf</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="689" ind1="2" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Hardware</subfield><subfield code="0">(DE-588)4023422-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bauer, Friedrich L.</subfield><subfield code="d">1924-2015</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10427459X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Advanced Study Institute on Logic and Algebra of Specification</subfield><subfield code="d">1991</subfield><subfield code="c">Marktoberdorf</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2130316-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">F</subfield><subfield code="t">NATO: NATO ASI series</subfield><subfield code="v">94</subfield><subfield code="w">(DE-604)BV000013052</subfield><subfield code="9">94</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=005489042&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005489042</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Marktoberdorf gnd-content |
| genre_facet | Konferenzschrift 1991 Marktoberdorf |
| id | DE-604.BV008309061 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:18:03Z |
| institution | BVB |
| institution_GND | (DE-588)2130316-2 |
| isbn | 3540558136 0387558136 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005489042 |
| oclc_num | 243770042 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-12 DE-91G DE-BY-TUM DE-29T DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-384 DE-12 DE-91G DE-BY-TUM DE-29T DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | 442 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series2 | NATO: NATO ASI series / F |
| spelling | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] ed. by Friedrich L. Bauer ... Berlin [u.a.] Springer 1993 442 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier NATO: NATO ASI series / F 94 Spezifikation (DE-588)4139161-5 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Hardware (DE-588)4023422-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Marktoberdorf gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Programmierung (DE-588)4076370-5 s Algebraische Spezifikation (DE-588)4207192-6 s Algebra (DE-588)4001156-2 s Hardware (DE-588)4023422-8 s Spezifikation (DE-588)4139161-5 s Logik (DE-588)4036202-4 s Bauer, Friedrich L. 1924-2015 Sonstige (DE-588)10427459X oth Advanced Study Institute on Logic and Algebra of Specification 1991 Marktoberdorf Sonstige (DE-588)2130316-2 oth F NATO: NATO ASI series 94 (DE-604)BV000013052 94 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489042&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] Spezifikation (DE-588)4139161-5 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algebra (DE-588)4001156-2 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd Hardware (DE-588)4023422-8 gnd |
| subject_GND | (DE-588)4139161-5 (DE-588)4207192-6 (DE-588)4001156-2 (DE-588)4036202-4 (DE-588)4195096-3 (DE-588)4076370-5 (DE-588)4023422-8 (DE-588)1071861417 |
| title | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] |
| title_auth | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] |
| title_exact_search | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] |
| title_full | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] ed. by Friedrich L. Bauer ... |
| title_fullStr | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] ed. by Friedrich L. Bauer ... |
| title_full_unstemmed | Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] ed. by Friedrich L. Bauer ... |
| title_short | Logic and algebra of specification |
| title_sort | logic and algebra of specification proceedings of the nato advanced study institute on logic and algebra of specification held in marktoberdorf germany july 23 august 4 1991 |
| title_sub | [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] |
| topic | Spezifikation (DE-588)4139161-5 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algebra (DE-588)4001156-2 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd Hardware (DE-588)4023422-8 gnd |
| topic_facet | Spezifikation Algebraische Spezifikation Algebra Logik Logische Programmierung Programmierung Hardware Konferenzschrift 1991 Marktoberdorf |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489042&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013052 |
| work_keys_str_mv | AT bauerfriedrichl logicandalgebraofspecificationproceedingsofthenatoadvancedstudyinstituteonlogicandalgebraofspecificationheldinmarktoberdorfgermanyjuly23august41991 AT advancedstudyinstituteonlogicandalgebraofspecificationmarktoberdorf logicandalgebraofspecificationproceedingsofthenatoadvancedstudyinstituteonlogicandalgebraofspecificationheldinmarktoberdorfgermanyjuly23august41991 |