Logic program synthesis and transformation: 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.
Springer
1998
|
| Series: | Lecture notes in computer science
1463 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 342 S. |
| ISBN: | 3540650741 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012189821 | ||
| 003 | DE-604 | ||
| 005 | 19981016 | ||
| 007 | t| | ||
| 008 | 980929s1998 gw |||| 10||| eng d | ||
| 016 | 7 | |a 954372034 |2 DE-101 | |
| 020 | |a 3540650741 |9 3-540-65074-1 | ||
| 035 | |a (OCoLC)39733429 | ||
| 035 | |a (DE-599)BVBBV012189821 | ||
| 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-521 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.63.I57 1997 | |
| 082 | 0 | |a 005.1/15 21 | |
| 082 | 0 | |a 005.1/15 |2 21 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Logic program synthesis and transformation |b 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings |c Norbert E. Fuchs (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. |b Springer |c 1998 | |
| 300 | |a X, 342 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1463 | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a logique inductive |2 inriac | |
| 650 | 7 | |a métaprogrammation |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 4 | |a Logic programming -- Congresses | |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metaprogrammierung |0 (DE-588)4199820-0 |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 Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmschema |0 (DE-588)4175859-6 |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 1997 |z Löwen |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Metaprogrammierung |0 (DE-588)4199820-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | 1 | |a Programmschema |0 (DE-588)4175859-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 3 | 1 | |a Programmsynthese |0 (DE-588)4295513-0 |D s |
| 689 | 3 | 2 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Fuchs, Norbert E. |e Sonstige |0 (DE-588)135985218 |4 oth | |
| 711 | 2 | |a LOPSTR |n 7 |d 1997 |c Löwen |j Sonstige |0 (DE-588)2172261-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1463 |w (DE-604)BV000000607 |9 1463 | |
| 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=008261322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008261322 | |
Record in the Search Index
| _version_ | 1820874880499843072 |
|---|---|
| adam_text |
CONTENTS
A
MULTI-LEVEL
APPROACH
TO
PROGRAM
SYNTHESIS
1
W.
BIBEL,
D.
KORN,
C.
KREITZ,
F.
KURUCZ,
J.
OTTEN,
S.
SCHMITT,
G.
STOLPMANN
PROGRAMS
WITHOUT
FAILURES
28
A.
BOSSI,
N.
COCCO
GENERALISED
LOGIC
PROGRAM
TRANSFORMATION
SCHEMAS
49
H.
BIIYUKYILDIZ,
P.
FLENER
LOGIC
PROGRAM
SCHEMAS,
CONSTRAINTS
AND
SEMI-UNIFICATION
69
E.
CHASSEUR,
Y.
DEVILLE
IMPLICIT
PROGRAM
SYNTHESIS
BY
A
REVERSIBLE
METAINTERPRETER
90
H.
CHRISTIANSEN
TERMINATION
ANALYSIS
FOR
TABLED
LOGIC
PROGRAMMING
111
S.
DECORTE,
D.
DE
SCHREYE,
M.
LEUSCHEL,
B.
MARTENS,
K
SAGONAS
ON
CORRECT
PROGRAM
SCHEMAS
128
P.
FLENER,
K.-K.
LAU,
M.
ORNAGHI
ANALYSIS
OF
LOGIC
PROGRAMS
WITH
DELAY
148
A.
HEATON,
P.
HILL,
A.
KING
CONSTRAINT-BASED
PARTIAL
EVALUATION
OF
REWRITING-BASED
168
FUNCTIONAL
LOGIC
PROGRAMS
L.
LAFAVE,
J.
P.
GALLAGHER
PRESERVING
TERMINATION
OF
TABLED
LOGIC
PROGRAMS
WHILE
UNFOLDING
189
M.
LEUSCHEL,
B.
MARTENS,
K
SAGONAS
UNFOLDING
THE
MYSTERY
OF
MERGESORT
206
N.
LINDENSTRAUSS,
Y.
SAGIV,
A.
SEREBRENIK
TOWARDS
A
LOGIC
FOR
REASONING
ABOUT
LOGIC
PROGRAMS
TRANSFORMATION
226
A.
MOMIGLIANO,
M.
ORNAGHI
A
HIGHER
ORDER
RECONSTRUCTION
OF
STEPWISE
ENHANCEMENT
245
L.
NAISH,
L.
STERLING
DEVELOPMENT
OF
CORRECT
TRANSFORMATION
SCHEMATA
FOR
PROLOG
PROGRAMS
263
J.
RICHARDSON,
N.
E.
FUCHS
CONSTRAINED
REGULAR
APPROXIMATION
OF
LOGIC
PROGRAMS
282
H.
SAGLAM,
J.
P.
GALLAGHER
X
CONTENTS
A
LOGIC
FRAMEWORK
FOR
THE
INCREMENTAL
INDUCTIVE
SYNTHESIS
OF
DATALOG
300
THEORIES
G.SEMERARO,
F.
ESPOSITO,
D.
MALERBA,
N.
FANIZZI,
S.
FERILLI
TO
PARSE
OR
NOT
TO
PARSE
W.
VANHOOF,
B.
MARTENS
AUTHOR
INDEX
322
343 |
| any_adam_object | 1 |
| author_GND | (DE-588)135985218 |
| building | Verbundindex |
| bvnumber | BV012189821 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63.I57 1997 |
| callnumber-search | QA76.63.I57 1997 |
| callnumber-sort | QA 276.63 I57 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 706f DAT 325f |
| ctrlnum | (OCoLC)39733429 (DE-599)BVBBV012189821 |
| dewey-full | 005.1/1521 005.1/15 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/15 21 005.1/15 |
| dewey-search | 005.1/15 21 005.1/15 |
| dewey-sort | 15.1 215 221 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV012189821</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981016</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980929s1998 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954372034</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540650741</subfield><subfield code="9">3-540-65074-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39733429</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012189821</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-521</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.I57 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/15 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/15</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic program synthesis and transformation</subfield><subfield code="b">7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings</subfield><subfield code="c">Norbert E. Fuchs (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 342 S.</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">1463</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</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 inductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">métaprogrammation</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">transformation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming -- 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">Metaprogrammierung</subfield><subfield code="0">(DE-588)4199820-0</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmschema</subfield><subfield code="0">(DE-588)4175859-6</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">1997</subfield><subfield code="z">Löwen</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="1"><subfield code="a">Metaprogrammierung</subfield><subfield code="0">(DE-588)4199820-0</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">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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">Programmschema</subfield><subfield code="0">(DE-588)4175859-6</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="2"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">Fuchs, Norbert E.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135985218</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">7</subfield><subfield code="d">1997</subfield><subfield code="c">Löwen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2172261-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">1463</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1463</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=008261322&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-008261322</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Löwen gnd-content |
| genre_facet | Konferenzschrift 1997 Löwen |
| id | DE-604.BV012189821 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:46Z |
| institution | BVB |
| institution_GND | (DE-588)2172261-4 |
| isbn | 3540650741 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008261322 |
| oclc_num | 39733429 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-521 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-521 DE-83 DE-706 |
| physical | X, 342 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings Norbert E. Fuchs (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. Springer 1998 X, 342 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1463 Logica matematica larpcal Programacao de computadores larpcal Programmation logique - Congrès Programmation logique - Congrès ram analyse programme inriac logique inductive inriac métaprogrammation inriac programmation en logique inriac transformation programme inriac Logic programming -- Congresses Programmtransformation (DE-588)4263654-1 gnd rswk-swf Metaprogrammierung (DE-588)4199820-0 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Programmschema (DE-588)4175859-6 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Löwen gnd-content Logische Programmierung (DE-588)4195096-3 s Metaprogrammierung (DE-588)4199820-0 s DE-604 Programmtransformation (DE-588)4263654-1 s Programmschema (DE-588)4175859-6 s Programmsynthese (DE-588)4295513-0 s Automatisches Beweisverfahren (DE-588)4069034-9 s Fuchs, Norbert E. Sonstige (DE-588)135985218 oth LOPSTR 7 1997 Löwen Sonstige (DE-588)2172261-4 oth Lecture notes in computer science 1463 (DE-604)BV000000607 1463 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008261322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings Lecture notes in computer science Logica matematica larpcal Programacao de computadores larpcal Programmation logique - Congrès Programmation logique - Congrès ram analyse programme inriac logique inductive inriac métaprogrammation inriac programmation en logique inriac transformation programme inriac Logic programming -- Congresses Programmtransformation (DE-588)4263654-1 gnd Metaprogrammierung (DE-588)4199820-0 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Programmschema (DE-588)4175859-6 gnd Programmsynthese (DE-588)4295513-0 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4199820-0 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)4175859-6 (DE-588)4295513-0 (DE-588)1071861417 |
| title | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings |
| title_auth | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings |
| title_exact_search | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings |
| title_full | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings Norbert E. Fuchs (ed.) |
| title_fullStr | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings Norbert E. Fuchs (ed.) |
| title_full_unstemmed | Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings Norbert E. Fuchs (ed.) |
| title_short | Logic program synthesis and transformation |
| title_sort | logic program synthesis and transformation 7th international workshop lopstr 97 leuven belgium july 10 12 1997 proceedings |
| title_sub | 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings |
| topic | Logica matematica larpcal Programacao de computadores larpcal Programmation logique - Congrès Programmation logique - Congrès ram analyse programme inriac logique inductive inriac métaprogrammation inriac programmation en logique inriac transformation programme inriac Logic programming -- Congresses Programmtransformation (DE-588)4263654-1 gnd Metaprogrammierung (DE-588)4199820-0 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Programmschema (DE-588)4175859-6 gnd Programmsynthese (DE-588)4295513-0 gnd |
| topic_facet | Logica matematica Programacao de computadores Programmation logique - Congrès analyse programme logique inductive métaprogrammation programmation en logique transformation programme Logic programming -- Congresses Programmtransformation Metaprogrammierung Logische Programmierung Automatisches Beweisverfahren Programmschema Programmsynthese Konferenzschrift 1997 Löwen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008261322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fuchsnorberte logicprogramsynthesisandtransformation7thinternationalworkshoplopstr97leuvenbelgiumjuly10121997proceedings AT lopstrlowen logicprogramsynthesisandtransformation7thinternationalworkshoplopstr97leuvenbelgiumjuly10121997proceedings |