<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/berechenbarkeit> <http://schema.org/name> "Berechenbarkeit" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/berechenbarkeit> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/berechenbarkeit> <http://schema.org/name> "Berechenbarkeit." .
<http://experiment.worldcat.org/entity/work/data/1371230758.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1371230758.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1371230758> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/informatique_mathematiques_congres> <http://schema.org/name> "Informatique Mathématiques Congrès." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/informatique_mathematiques_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/data_structures_computer_science> <http://schema.org/name> "Data structures (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/data_structures_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematics_of_computing> <http://schema.org/name> "Mathematics of Computing." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematics_of_computing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/chan_t_hubert> <http://schema.org/name> "Chan, T. Hubert" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/chan_t_hubert> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Thing> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_10th_2013_hong_kong_china> <http://schema.org/name> "TAMC 2013 (10th : 2013 : Hong Kong, China)" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_10th_2013_hong_kong_china> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_10th_2013_hong_kong_china> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_conference_10th_2013_hong_kong_china> <http://schema.org/name> "TAMC (Conference) (10th : 2013 : Hong Kong, China)" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_conference_10th_2013_hong_kong_china> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_conference_10th_2013_hong_kong_china> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/alternateName> "TAMC 2013" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_2013_hongkong_chine> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_10_2013_hongkong> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematics_of_computing> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/973149> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/846968021> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029534> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/872460> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007100991> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/theory_of_computation> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/theory_and_applications_of_models_of_computation_2013_hong_kong> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/description> "This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences." .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/logic_design> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_science> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2641615519> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2632905914> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/852395244> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/854590881> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2638575130> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/information_theory> .
<http://worldcat.org/entity/work/id/1371230758> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/name> "Theory and Applications of Models of Computation 10th International Conference, Tamc 2013, Hong Kong, China, May 20-22, 2013. Proceedings"@en .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/data_structures_computer_science> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/name> "Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/data_structures_cryptology_and_information_theory> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/software_congresses> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2732249348> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/name> "Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/839397283> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/1159283> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/algorithm_analysis_and_problem_complexity> .
<http://worldcat.org/entity/work/id/1371230758> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/informatique_mathematiques_congres> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85138778> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641615519> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/864065194> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/841246508> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/name> "Theory and applications of models of computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/editor> <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/trevisan_luca> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101219> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/887978> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/872527> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_software> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_conference_10th_2013_hong_kong_china> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/editor> <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/chan_t_hubert> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/847602356> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2732249348> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/editor> <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/lau_lap_chi> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85035862> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematics_congresses> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638575130> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/871991> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/workExample> <http://www.worldcat.org/oclc/908068754> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101221> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85066289> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029469> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://id.worldcat.org/fast/871985> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632905914> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/berechenbarkeit> .
<http://worldcat.org/entity/work/id/1371230758> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_10th_2013_hong_kong_china> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematics_congresses> <http://schema.org/name> "Mathematics Congresses." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/mathematics_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_science> <http://schema.org/name> "Computer science." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/lau_lap_chi> <http://schema.org/name> "Lau, Lap Chi" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/lau_lap_chi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Thing> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/theory_of_computation> <http://schema.org/name> "Theory of Computation." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/theory_of_computation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_10_2013_hongkong> <http://schema.org/name> "TAMC 10 2013 Hongkong" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_10_2013_hongkong> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_10_2013_hongkong> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/algorithm_analysis_and_problem_complexity> <http://schema.org/name> "Algorithm Analysis and Problem Complexity." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/algorithm_analysis_and_problem_complexity> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/information_theory> <http://schema.org/name> "Information theory." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/information_theory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/theory_and_applications_of_models_of_computation_2013_hong_kong> <http://schema.org/name> "Theory and applications of models of computation (2013 : Hong Kong)" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/theory_and_applications_of_models_of_computation_2013_hong_kong> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/theory_and_applications_of_models_of_computation_2013_hong_kong> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_2013_hongkong_chine> <http://schema.org/name> "TAMC 2013 (2013 : Hongkong, Chine)" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_2013_hongkong_chine> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_2013_2013_hongkong_chine> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/data_structures_cryptology_and_information_theory> <http://schema.org/name> "Data Structures, Cryptology and Information Theory." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/data_structures_cryptology_and_information_theory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/trevisan_luca> <http://schema.org/name> "Trevisan, Luca" .
<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/trevisan_luca> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Thing> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/software_congresses> <http://schema.org/name> "Software Congresses." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/software_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_software> <http://schema.org/name> "Computer software." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/logic_design> <http://schema.org/name> "Logic design." .
<http://experiment.worldcat.org/entity/work/data/1371230758#Topic/logic_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .