Logic program synthesis and transformation: 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1048 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 266 S. graph. Darst. |
| ISBN: | 3540609393 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010620374 | ||
| 003 | DE-604 | ||
| 005 | 20150518 | ||
| 007 | t| | ||
| 008 | 960212s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 946709696 |2 DE-101 | |
| 020 | |a 3540609393 |9 3-540-60939-3 | ||
| 035 | |a (OCoLC)34283704 | ||
| 035 | |a (DE-599)BVBBV010620374 | ||
| 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-19 |a DE-20 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.63.I57 1995 | |
| 082 | 0 | |a 005.13/1 20 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 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 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings |c Maurizio Proietti (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1996 | |
| 300 | |a X, 266 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 1048 | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a implémentation |2 inriac | |
| 650 | 7 | |a logique induction |2 inriac | |
| 650 | 7 | |a métalangage |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a spécification programme |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 7 | |a vérification 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Utrecht |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Metaprogrammierung |0 (DE-588)4199820-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Proietti, Maurizio |d 1959- |e Sonstige |0 (DE-588)107107508X |4 oth | |
| 711 | 2 | |a LOPSTR |n 5 |d 1995 |c Utrecht |j Sonstige |0 (DE-588)2153774-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1048 |w (DE-604)BV000000607 |9 1048 | |
| 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=007085262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007085262 | |
Datensatz im Suchindex
| _version_ | 1820874850096381952 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
ECOLOGICAL
PARTIAL
DEDUCTION:
PRESERVING
CHARACTERISTIC
TREES
WITHOUT
CONSTRAINTS
.
1
MICHAEL
LEUSCHEL
MEMOING
EVALUATION
BY
SOURCE-TO-SOURCE
TRANSFORMATION
.
17
JENS
E.
WUNDERWALD
TRANSFORMATION
OF
LEFT
TERMINATING
PROGRAMS:
THE
REORDERING
PROBLEM
.
33
ANNALISA
BOSSI,
NICOLETTA
COCCO,
AND
SANDRO
ETALLE
DERIVATION
OF
CONCURRENT
ALGORITHMS
IN
TEMPO
.
46
STEVE
GREGORY
AN
ARGUMENTATION-THEORETIC
APPROACH
TO
LOGIC
PROGRAM
TRANSFORMATION
.
61
FRANCESCA
TONI
AND
ROBERT
A.
KOWALSKI
COMPLEXITY
OF
HORN
PROGRAMS
.
76
ERIK
AARTS
STUDYING
THE
COST
OF
LOGIC
LANGUAGES
IN
AN
ABSTRACT
INTERPRETATION
FRAMEWORK
FOR
GRANULARITY
ANALYSIS
.
91
M.M.
GALLARDO
AND
J.M.
TROYA
TOWARDS
AUTOMATIC
CONTROL
FOR
CLP(X)
PROGRAMS
.
106
FRED
MESNARD
IDEAL
REFINEMENT
OF
DATALOG
PROGRAMS
.
120
GIOVANNI
SEMERARO,
FLORIANA
ESPOSITO,
AND
DONATO
MALERBA
GUIDING
PROGRAM
DEVELOPMENT
SYSTEMS
BY
A
CONNECTION
BASED
PROOF
STRATEGY
.
137
CRISTOPH
KREITZ,
JENS
OTTEN,
AND
STEPHAN
SCHMITT
TOWARDS
AN
OBJECT-ORIENTED
METHODOLOGY
FOR
DEDUCTIVE
SYNTHESIS
OF
LOGIC
PROGRAMS
.
152
KUNG-KIU
LAU
AND
MARIO
OMAGHI
LOGIC
PROGRAM
SYNTHESIS
BY
INDUCTION
OVER
HORN
CLAUSES
.
170
ANDREW
J.
PARKES
AND
GERAINT
A.
WIGGINS
LOGIC
PROGRAM
TRANSFORMATION
THROUGH
GENERALIZATION
SCHEMATA
.
171
PIERRE
FLENER
AND
YVES
DEVILLE
X
AN
OPPORTUNISTIC
APPROACH
FOR
LOGIC
PROGRAM
ANALYSIS
AND
OPTIMISATION
USING
ENHANCED
SCHEMA-BASED
TRANSFORMATIONS
.
174
WAMBERTO
W.
VASCONCELOS
AND
NORBERT
E.
FUCHS
SOLVING
DEDUCTIVE
PLANNING
PROBLEMS
USING
PROGRAM
ANALYSIS
AND
TRANSFORMATION
.
189
D.A.
DE
WAAL
AND
M.
THIELSCHER
TOWARDS
A
COMPLETE
PROOF
PROCEDURE
TO
PROVE
PROPERTIES
OF
NORMAL
LOGIC
PROGRAMS
UNDER
THE
COMPLETION
.
204
SOPHIE
RENAULT
TERMINATION
OF
LOGIC
PROGRAMS
USING
SEMANTIC
UNIFICATION
.
219
THOMAS
ARTS
AND
HANS
ZANTEMA
ON
THE
MECHANICS
OF
METASYSTEM
HIERARCHIES
IN
PROGRAM
TRANSFORMATION
.
234
ROBERT
GLUCK
EFFICIENT
TRANSLATION
OF
LAZY
FUNCTIONAL
LOGIC
PROGRAMS
INTO
PROLOG
.
252
MICHAEL
HANUS
AUTHOR
INDEX
.
267 |
| any_adam_object | 1 |
| author_GND | (DE-588)107107508X |
| building | Verbundindex |
| bvnumber | BV010620374 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63.I57 1995 |
| callnumber-search | QA76.63.I57 1995 |
| callnumber-sort | QA 276.63 I57 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 706f DAT 325f |
| ctrlnum | (OCoLC)34283704 (DE-599)BVBBV010620374 |
| dewey-full | 005.13/120 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 20 005.13/1 |
| dewey-search | 005.13/1 20 005.13/1 |
| dewey-sort | 15.13 11 220 |
| 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">BV010620374</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150518</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960212s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946709696</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540609393</subfield><subfield code="9">3-540-60939-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34283704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010620374</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-19</subfield><subfield code="a">DE-20</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><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63.I57 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</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">5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings</subfield><subfield code="c">Maurizio Proietti (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 266 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">1048</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</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</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">implémentation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique induction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">métalangage</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">spécification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</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 -- 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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Utrecht</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">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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">Metaprogrammierung</subfield><subfield code="0">(DE-588)4199820-0</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">Proietti, Maurizio</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)107107508X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">5</subfield><subfield code="d">1995</subfield><subfield code="c">Utrecht</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2153774-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">1048</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1048</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=007085262&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-007085262</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Utrecht gnd-content |
| genre_facet | Konferenzschrift 1995 Utrecht |
| id | DE-604.BV010620374 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:17Z |
| institution | BVB |
| institution_GND | (DE-588)2153774-4 |
| isbn | 3540609393 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007085262 |
| oclc_num | 34283704 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | X, 266 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings Maurizio Proietti (ed.) Berlin u.a. Springer 1996 X, 266 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1048 Logisch programmeren gtt Programmation logique - Congrès Programmation logique ram déduction automatique inriac génie logiciel inriac implémentation inriac logique induction inriac métalangage inriac programmation en logique inriac spécification programme inriac théorie type inriac transformation programme inriac vérification 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 (DE-588)1071861417 Konferenzschrift 1995 Utrecht gnd-content Logische Programmierung (DE-588)4195096-3 s Programmtransformation (DE-588)4263654-1 s DE-604 Metaprogrammierung (DE-588)4199820-0 s Proietti, Maurizio 1959- Sonstige (DE-588)107107508X oth LOPSTR 5 1995 Utrecht Sonstige (DE-588)2153774-4 oth Lecture notes in computer science 1048 (DE-604)BV000000607 1048 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007085262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings Lecture notes in computer science Logisch programmeren gtt Programmation logique - Congrès Programmation logique ram déduction automatique inriac génie logiciel inriac implémentation inriac logique induction inriac métalangage inriac programmation en logique inriac spécification programme inriac théorie type inriac transformation programme inriac vérification programme inriac Logic programming -- Congresses Programmtransformation (DE-588)4263654-1 gnd Metaprogrammierung (DE-588)4199820-0 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4199820-0 (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings |
| title_auth | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings |
| title_exact_search | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings |
| title_full | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings Maurizio Proietti (ed.) |
| title_fullStr | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings Maurizio Proietti (ed.) |
| title_full_unstemmed | Logic program synthesis and transformation 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings Maurizio Proietti (ed.) |
| title_short | Logic program synthesis and transformation |
| title_sort | logic program synthesis and transformation 5th international workshop lopstr 95 utrecht the netherlands september 20 22 1995 proceedings |
| title_sub | 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings |
| topic | Logisch programmeren gtt Programmation logique - Congrès Programmation logique ram déduction automatique inriac génie logiciel inriac implémentation inriac logique induction inriac métalangage inriac programmation en logique inriac spécification programme inriac théorie type inriac transformation programme inriac vérification programme inriac Logic programming -- Congresses Programmtransformation (DE-588)4263654-1 gnd Metaprogrammierung (DE-588)4199820-0 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logisch programmeren Programmation logique - Congrès Programmation logique déduction automatique génie logiciel implémentation logique induction métalangage programmation en logique spécification programme théorie type transformation programme vérification programme Logic programming -- Congresses Programmtransformation Metaprogrammierung Logische Programmierung Konferenzschrift 1995 Utrecht |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007085262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT proiettimaurizio logicprogramsynthesisandtransformation5thinternationalworkshoplopstr95utrechtthenetherlandsseptember20221995proceedings AT lopstrutrecht logicprogramsynthesisandtransformation5thinternationalworkshoplopstr95utrechtthenetherlandsseptember20221995proceedings |