Logic based program synthesis and transformation: 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Series: | Lecture notes in computer science
2372 |
| Subjects: | |
| Physical Description: | VIII, 265 S. graph. Darst. |
| ISBN: | 3540439153 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014444021 | ||
| 003 | DE-604 | ||
| 005 | 20181102 | ||
| 007 | t| | ||
| 008 | 020625s2002 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 964595648 |2 DE-101 | |
| 020 | |a 3540439153 |9 3-540-43915-3 | ||
| 035 | |a (OCoLC)50028667 | ||
| 035 | |a (DE-599)BVBBV014444021 | ||
| 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-83 |a DE-706 | ||
| 050 | 0 | |a QA76.63 | |
| 050 | 0 | |a RC458 | |
| 082 | 0 | |a 005.1/5 |2 21 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Logic based program synthesis and transformation |b 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers |c Alberto Pettorossi (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a VIII, 265 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 2372 | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a logique programmation |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a programmation impérative |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a synthèse programme |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 7 | |a vérification programme |2 inriac | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |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 Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmsynthese |0 (DE-588)4295513-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Paphos, Ktima |2 gnd-content | |
| 689 | 0 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Programmsynthese |0 (DE-588)4295513-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Pettorossi, Alberto |e Sonstige |4 oth | |
| 711 | 2 | |a LOPSTR |n 11 |d 2001 |c Paphos |j Sonstige |0 (DE-588)10039579-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2372 |w (DE-604)BV000000607 |9 2372 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009873431 | |
Record in the Search Index
| _version_ | 1820874912979484672 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV014444021 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 RC458 |
| callnumber-search | QA76.63 RC458 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 325f |
| ctrlnum | (OCoLC)50028667 (DE-599)BVBBV014444021 |
| dewey-full | 005.1/5 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/5 |
| dewey-search | 005.1/5 |
| dewey-sort | 15.1 15 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV014444021</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181102</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020625s2002 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964595648</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540439153</subfield><subfield code="9">3-540-43915-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50028667</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014444021</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-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">RC458</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/5</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic based program synthesis and transformation</subfield><subfield code="b">11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers</subfield><subfield code="c">Alberto Pettorossi (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 265 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">2372</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation impérative</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation sous contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">synthèse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transformation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</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">2001</subfield><subfield code="z">Paphos, Ktima</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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">Pettorossi, Alberto</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">11</subfield><subfield code="d">2001</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10039579-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">2372</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2372</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009873431</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Paphos, Ktima gnd-content |
| genre_facet | Konferenzschrift 2001 Paphos, Ktima |
| id | DE-604.BV014444021 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:17Z |
| institution | BVB |
| institution_GND | (DE-588)10039579-X |
| isbn | 3540439153 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009873431 |
| oclc_num | 50028667 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-706 |
| physical | VIII, 265 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers Alberto Pettorossi (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 VIII, 265 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2372 Programmation logique - Congrès ram analyse programme inriac logique programmation inriac méthode formelle inriac programmation fonctionnelle inriac programmation impérative inriac programmation sous contrainte inriac synthèse programme inriac transformation programme inriac vérification programme inriac Logic programming Congresses Programmtransformation (DE-588)4263654-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Paphos, Ktima gnd-content Computational logic (DE-588)4255672-7 s DE-604 Logische Programmierung (DE-588)4195096-3 s Programmsynthese (DE-588)4295513-0 s Programmtransformation (DE-588)4263654-1 s Pettorossi, Alberto Sonstige oth LOPSTR 11 2001 Paphos Sonstige (DE-588)10039579-X oth Lecture notes in computer science 2372 (DE-604)BV000000607 2372 |
| spellingShingle | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers Lecture notes in computer science Programmation logique - Congrès ram analyse programme inriac logique programmation inriac méthode formelle inriac programmation fonctionnelle inriac programmation impérative inriac programmation sous contrainte inriac synthèse programme inriac transformation programme inriac vérification programme inriac Logic programming Congresses Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Programmsynthese (DE-588)4295513-0 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4195096-3 (DE-588)4255672-7 (DE-588)4295513-0 (DE-588)1071861417 |
| title | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers |
| title_auth | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers |
| title_exact_search | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers |
| title_full | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers Alberto Pettorossi (ed.) |
| title_fullStr | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers Alberto Pettorossi (ed.) |
| title_full_unstemmed | Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers Alberto Pettorossi (ed.) |
| title_short | Logic based program synthesis and transformation |
| title_sort | logic based program synthesis and transformation 11th international workshop lopstr 2001 paphos cyprus november 28 30 2001 selected papers |
| title_sub | 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers |
| topic | Programmation logique - Congrès ram analyse programme inriac logique programmation inriac méthode formelle inriac programmation fonctionnelle inriac programmation impérative inriac programmation sous contrainte inriac synthèse programme inriac transformation programme inriac vérification programme inriac Logic programming Congresses Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Programmsynthese (DE-588)4295513-0 gnd |
| topic_facet | Programmation logique - Congrès analyse programme logique programmation méthode formelle programmation fonctionnelle programmation impérative programmation sous contrainte synthèse programme transformation programme vérification programme Logic programming Congresses Programmtransformation Logische Programmierung Computational logic Programmsynthese Konferenzschrift 2001 Paphos, Ktima |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pettorossialberto logicbasedprogramsynthesisandtransformation11thinternationalworkshoplopstr2001paphoscyprusnovember28302001selectedpapers AT lopstrpaphos logicbasedprogramsynthesisandtransformation11thinternationalworkshoplopstr2001paphoscyprusnovember28302001selectedpapers |