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]
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1993
|
| Series: | NATO: NATO ASI series / F
94 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 442 S. graph. Darst. |
| ISBN: | 3540558136 0387558136 |
Staff View
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 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 Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardware |0 (DE-588)4023422-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |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 Spezifikation |0 (DE-588)4139161-5 |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 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005489042 | |
Record in the Search Index
| _version_ | 1820868109039304704 |
|---|---|
| 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 |
| 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>00000nam a2200000 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">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">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">Hardware</subfield><subfield code="0">(DE-588)4023422-8</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">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">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">Spezifikation</subfield><subfield code="0">(DE-588)4139161-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">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="943" ind1="1" 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 | 2025-01-10T13:19:08Z |
| 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 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Hardware (DE-588)4023422-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Spezifikation (DE-588)4139161-5 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] Algebraische Spezifikation (DE-588)4207192-6 gnd Hardware (DE-588)4023422-8 gnd Logik (DE-588)4036202-4 gnd Algebra (DE-588)4001156-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4023422-8 (DE-588)4036202-4 (DE-588)4001156-2 (DE-588)4195096-3 (DE-588)4076370-5 (DE-588)4139161-5 (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 | Algebraische Spezifikation (DE-588)4207192-6 gnd Hardware (DE-588)4023422-8 gnd Logik (DE-588)4036202-4 gnd Algebra (DE-588)4001156-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Algebraische Spezifikation Hardware Logik Algebra Logische Programmierung Programmierung Spezifikation 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 |