Holdings: Logic-based program synthesis and transformation

Logic-based program synthesis and transformation: 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2011
Series:	Lecture notes in computer science 6564
Subjects:	Formale Methode Programmierparadigma Programmtransformation Metaprogrammierung Logische Programmierung Beweistheorie Programmsynthese Konferenzschrift > 2010 > Hagenberg Mühlkreis
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	X, 248 S. graph. Darst.
ISBN:	9783642205507 364220550X

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV037400559
003	DE-604
005	20110803
007	t\|
008	110516s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N12 \|2 dnb
016	7		\|a 1010602330 \|2 DE-101
020			\|a 9783642205507 \|c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) \|9 978-3-642-20550-7
020			\|a 364220550X \|c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) \|9 3-642-20550-X
024	3		\|a 9783642205507
028	5	2	\|a Best.-Nr.: 80061034
035			\|a (OCoLC)725022644
035			\|a (DE-599)DNB1010602330
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-83 \|a DE-91G
082	0		\|a 005.115 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Logic-based program synthesis and transformation \|b 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers \|c María Alpuente (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a X, 248 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 6564
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierparadigma \|0 (DE-588)4308224-5 \|2 gnd \|9 rswk-swf
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 Beweistheorie \|0 (DE-588)4145177-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 2010 \|z Hagenberg Mühlkreis \|2 gnd-content
689	0	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0	1	\|a Programmsynthese \|0 (DE-588)4295513-0 \|D s
689	0	2	\|a Programmtransformation \|0 (DE-588)4263654-1 \|D s
689	0	3	\|a Programmierparadigma \|0 (DE-588)4308224-5 \|D s
689	0	4	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0	5	\|a Formale Methode \|0 (DE-588)4333722-3 \|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		\|8 1\p \|5 DE-604
700	1		\|a Alpuente, María \|e Sonstige \|4 oth
711	2		\|a LOPSTR \|n 20 \|d 2010 \|c Hagenberg im Mühlkreis \|j Sonstige \|0 (DE-588)16156803-8 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|t Logic-based program synthesis and transformation
830		0	\|a Lecture notes in computer science \|v 6564 \|w (DE-604)BV000000607 \|9 6564
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3702279&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=022553254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-022553254

Record in the Search Index

_version_	1820875315775275008
adam_text	IMAGE 1 TABLE OF CONTENTS THREE SYNTACTIC THEORIES FOR COMBINATORY GRAPH REDUCTION (INVITED TALK) 1 OLIVIER DANVY AND IAN ZERNY ANALYSIS OF AIR TRAFFIC TRACK DATA WITH THE AUTOBAYES SYNTHESIS SYSTEM (INVITED TALK) 21 JOHANN SCHUMANN, KAREN CATE, AND ALAN LEE PROVING WITH ACL2 THE CORRECTNESS OF SIMPLICIAL SETS IN THE KENZO SYSTEM 37 JONATHAN HERAS, VICO PASCUAL, AND JULIO RUBIO GRAPH GENERATION TO STATICALLY REPRESENT CSP PROCESSES 52 MARISA LLORENS, JAVIER OLIVER, JOSEP SILVA, AND SALVADOR TAMARIT VERIFICATION OF T HE S C H O R R - W A I TE A L G O R I T HM - F R OM T R E ES TO G R A P HS . . . 67 MATHIEU GIORGINO, MARTIN STRECKER, RALPH MATTHES, AND MARC PANTEL MIKIBETA : A GENERAL GUI LIBRARY FOR VISUALIZING PROOF TREES: SYSTEM DESCRIPTION AND DEMONSTRATION 84 KANAKO SAKURAI AND KENICHI ASAI COMPOSITIONAL CLP-BASED TEST DATA GENERATION FOR IMPERATIVE LANGUAGES 99 ELVIRA ALBERT, MIGUEL GOMEZ-ZAMALLOA, JOSE MIGUEL ROJAS, AND GERMAN PUEBLA ON INDUCTIVE PROOFS BY EXTENDED UNFOLD/FOLD TRANSFORMATION RULES . . 117 HIROHISA SEKI NON-TERMINATION ANALYSIS OF LOGIC PROGRAMS USING TYPES 133 DEAN VOETS AND DANNY DE SCHREYE SCALING UP ALGORITHMIC DEBUGGING WITH VIRTUAL EXECUTION TREES 149 DAVID INSA AND JOSEP SILVA PROGRAM SPECIALIZATION FOR VERIFYING INFINITE STATE SYSTEMS: AN EXPERIMENTAL EVALUATION 164 FABIO FIORAVANTI, ALBERTO PETTOROSSI, MAURIZIO PROIETTI, AND VALERIO SENNI DEPENDENCY TRIPLES FOR IMPROVING TERMINATION ANALYSIS OF LOGIC PROGRAMS WITH CUT 184 THOMAS STROEDER, PETER SCHNEIDER-KAMP, AND JUERGEN GIESL BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010602330 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS A HYBRID APPROACH TO CONJUNCTIVE PARTIAL EVALUATION OF LOGIC PROGRAMS 200 GERMAN VIDAL ABSTRACT DIAGNOSIS OF FIRST ORDER FUNCTIONAL LOGIC PROGRAMS 215 GIOVANNI BACCI AND MARCO COMINI THE FIRST-ORDER NOMINAL LINK 234 CHRISTOPHE CALVES AND MARIBEL FERNANDEZ AUTHOR INDEX 249
any_adam_object	1
building	Verbundindex
bvnumber	BV037400559
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 325f
ctrlnum	(OCoLC)725022644 (DE-599)DNB1010602330
dewey-full	005.115
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.115
dewey-search	005.115
dewey-sort	15.115
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">BV037400559</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110803</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110516s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010602330</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642205507</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-20550-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364220550X</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">3-642-20550-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642205507</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80061034</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725022644</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010602330</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers</subfield><subfield code="c">María Alpuente (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 248 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">6564</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-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">2010</subfield><subfield code="z">Hagenberg Mühlkreis</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">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Alpuente, María</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">20</subfield><subfield code="d">2010</subfield><subfield code="c">Hagenberg im Mühlkreis</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16156803-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Logic-based program synthesis and transformation</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6564</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6564</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3702279&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=022553254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022553254</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Hagenberg Mühlkreis gnd-content
genre_facet	Konferenzschrift 2010 Hagenberg Mühlkreis
id	DE-604.BV037400559
illustrated	Illustrated
indexdate	2025-01-10T15:13:41Z
institution	BVB
institution_GND	(DE-588)16156803-8
isbn	9783642205507 364220550X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-022553254
oclc_num	725022644
open_access_boolean
owner	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
physical	X, 248 S. graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers María Alpuente (ed.) Berlin [u.a.] Springer 2011 X, 248 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6564 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierparadigma (DE-588)4308224-5 gnd rswk-swf 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 Beweistheorie (DE-588)4145177-6 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Hagenberg Mühlkreis gnd-content Logische Programmierung (DE-588)4195096-3 s Programmsynthese (DE-588)4295513-0 s Programmtransformation (DE-588)4263654-1 s Programmierparadigma (DE-588)4308224-5 s Beweistheorie (DE-588)4145177-6 s Formale Methode (DE-588)4333722-3 s DE-604 Metaprogrammierung (DE-588)4199820-0 s 1\p DE-604 Alpuente, María Sonstige oth LOPSTR 20 2010 Hagenberg im Mühlkreis Sonstige (DE-588)16156803-8 oth Erscheint auch als Online-Ausgabe Logic-based program synthesis and transformation Lecture notes in computer science 6564 (DE-604)BV000000607 6564 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3702279&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022553254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmierparadigma (DE-588)4308224-5 gnd Programmtransformation (DE-588)4263654-1 gnd Metaprogrammierung (DE-588)4199820-0 gnd Logische Programmierung (DE-588)4195096-3 gnd Beweistheorie (DE-588)4145177-6 gnd Programmsynthese (DE-588)4295513-0 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4308224-5 (DE-588)4263654-1 (DE-588)4199820-0 (DE-588)4195096-3 (DE-588)4145177-6 (DE-588)4295513-0 (DE-588)1071861417
title	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers
title_auth	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers
title_exact_search	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers
title_full	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers María Alpuente (ed.)
title_fullStr	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers María Alpuente (ed.)
title_full_unstemmed	Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers María Alpuente (ed.)
title_short	Logic-based program synthesis and transformation
title_sort	logic based program synthesis and transformation 20th international symposium lopstr 2010 hagenberg austria july 23 25 2010 revised selected papers
title_sub	20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Programmierparadigma (DE-588)4308224-5 gnd Programmtransformation (DE-588)4263654-1 gnd Metaprogrammierung (DE-588)4199820-0 gnd Logische Programmierung (DE-588)4195096-3 gnd Beweistheorie (DE-588)4145177-6 gnd Programmsynthese (DE-588)4295513-0 gnd
topic_facet	Formale Methode Programmierparadigma Programmtransformation Metaprogrammierung Logische Programmierung Beweistheorie Programmsynthese Konferenzschrift 2010 Hagenberg Mühlkreis
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3702279&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022553254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT alpuentemaria logicbasedprogramsynthesisandtransformation20thinternationalsymposiumlopstr2010hagenbergaustriajuly23252010revisedselectedpapers AT lopstrhagenbergimmuhlkreis logicbasedprogramsynthesisandtransformation20thinternationalsymposiumlopstr2010hagenbergaustriajuly23252010revisedselectedpapers

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items