<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_2001_11º_2001_paphos_chipre> <http://schema.org/name> "LOPSTR 2001 (11º. 2001. Paphos, Chipre)" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_2001_11º_2001_paphos_chipre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_2001_11º_2001_paphos_chipre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11_paphos_cyprus_2001> <http://schema.org/name> "International workshop on logic based program synthesis and transformation (11. : Paphos, Cyprus : 2001)" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11_paphos_cyprus_2001> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11_paphos_cyprus_2001> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/logische_programmierung> <http://schema.org/name> "Logische Programmierung." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/logische_programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/analyse_programme> <http://schema.org/name> "analyse programme." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/analyse_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/synthese_programme> <http://schema.org/name> "synthèse programme." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/synthese_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_fonctionnelle> <http://schema.org/name> "programmation fonctionnelle." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_fonctionnelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmtransformation> <http://schema.org/name> "Programmtransformation." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmtransformation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programacion_logica_congresos> <http://schema.org/name> "Programación lógica Congresos." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programacion_logica_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_11_2001_paphos> <http://schema.org/name> "LOPSTR (11 : 2001 : Paphos)" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_11_2001_paphos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_11_2001_paphos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11th_2001_paphos_cyprus> <http://schema.org/name> "International Workshop on Logic-Based Program Synthesis and Transformation (11th : 2001 : Paphos, Cyprus)" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11th_2001_paphos_cyprus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11th_2001_paphos_cyprus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/methode_formelle> <http://schema.org/name> "méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/methode_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/computational_logic> <http://schema.org/name> "Computational logic." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/computational_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/alternateName> "International Workshop on Logic-Based Program Synthesis and Transformation" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/computational_logic> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_program_synthesis_and_transformation_11_2001_paphos> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_imperative> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873574409> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801006838> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 : Paphos, Cyprus, November 28-30, 2001 : selected papers" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/genre> "Paphos (Ktima 2001)" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic based program synthesis and transformation : 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912326640> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/717534101> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630185776> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/alternateName> "LOPSTR 2001" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11th_2001_paphos_cyprus> .
<http://worldcat.org/entity/work/id/1103595163> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760709507> .
<http://worldcat.org/entity/work/id/1103595163> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/methode_formelle> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/analyse_programme> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/471733662> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_sous_contrainte> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/synthese_programme> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/50432020> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.worldcat.org/fast/1002056> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/transformation_programme> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique_congres> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/verification_programme> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699830641> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_fonctionnelle> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878852245> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_2001_11º_2001_paphos_chipre> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/lopstr_11_2001_paphos> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programacion_logica_congresos_en_linea> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmsynthese> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers"@en .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programacion_logica_congresos> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/genre> "Paphos (Ktima, 2001)" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/workExample> <http://www.worldcat.org/oclc/50028667> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/logische_programmierung> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/name> "Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28-30, 2001 Selected Papers" .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_based_program_synthesis_and_transformation_11_paphos_cyprus_2001> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/description> "This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis."@en .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/logique_programmation> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/kongress> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmtransformation> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107111> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630185776> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1103595163#Organization/international_workshop_on_logic_based_program_synthesis_and_transformation> .
<http://worldcat.org/entity/work/id/1103595163> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/verification_programme> <http://schema.org/name> "vérification programme." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/verification_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Organization/international_workshop_on_logic_based_program_synthesis_and_transformation> <http://schema.org/name> "International Workshop on Logic-Based Program Synthesis and Transformation" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Organization/international_workshop_on_logic_based_program_synthesis_and_transformation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_sous_contrainte> <http://schema.org/name> "programmation sous contrainte." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_sous_contrainte> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_program_synthesis_and_transformation_11_2001_paphos> <http://schema.org/name> "International Workshop on Logic Program Synthesis and Transformation (11 : 2001 : Paphos)" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_program_synthesis_and_transformation_11_2001_paphos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Meeting/international_workshop_on_logic_program_synthesis_and_transformation_11_2001_paphos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1103595163.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1103595163.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1103595163> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique_congres> <http://schema.org/name> "Programmation logique Congrès." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique_congres> <http://schema.org/name> "programmation logique [congrès]" .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique> <http://schema.org/name> "Programmation logique." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/transformation_programme> <http://schema.org/name> "transformation programme." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/transformation_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/logique_programmation> <http://schema.org/name> "logique programmation." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/logique_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_imperative> <http://schema.org/name> "programmation impérative." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmation_imperative> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programacion_logica_congresos_en_linea> <http://schema.org/name> "Programación lógica Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programacion_logica_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmsynthese> <http://schema.org/name> "Programmsynthese." .
<http://experiment.worldcat.org/entity/work/data/1103595163#Topic/programmsynthese> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .