<http://experiment.worldcat.org/entity/work/data/364566512#Topic/algorithmes_congres_congres> <http://schema.org/name> "Algorithmes Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/algorithmes_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/364566512#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/364566512#Meeting/international_workshop_on_conditional_term_rewriting_systems_jerusalem_1994_07> <http://schema.org/name> "International Workshop on Conditional Term Rewriting Systems (Jerusalem) (1994/07)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_term_rewriting_systems_jerusalem_1994_07> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_term_rewriting_systems_jerusalem_1994_07> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_1994_jerusalem> <http://schema.org/name> "International conditional and typed rewriting systems workshop (4 : 1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/programmation_informatique_congres_congres> <http://schema.org/name> "Programmation (Informatique) Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/programmation_informatique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_13_15_07_1994_jerusalem> <http://schema.org/name> "International conditional and typed rewriting systems workshop (4 : 13/15-07-1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_13_15_07_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_13_15_07_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/364566512#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/364566512#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/artificial_intelligence_incl_robotics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_ctrs_workshop_4th_1994_jerusalem> <http://schema.org/name> "International CTRS Workshop (4th : 1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_ctrs_workshop_4th_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_ctrs_workshop_4th_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systeme_de_reecriture> <http://schema.org/name> "Système de réécriture." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systeme_de_reecriture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/elaboratori_elettronici_programmazione_congressi_1994> <http://schema.org/name> "Elaboratori elettronici - Programmazione - Congressi - 1994." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/elaboratori_elettronici_programmazione_congressi_1994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_94_4_1994_jerozolima> <http://schema.org/name> "CTRS-94 (4 ; 1994 ; Jerozolima)." .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_94_4_1994_jerozolima> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_94_4_1994_jerozolima> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_yerushalayim_1994> <http://schema.org/name> "International workshop on Conditional and typed rewriting systems, 4., Yerushalayim, 1994." .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_yerushalayim_1994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_yerushalayim_1994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/rewriting_systems_computer_science_congresses> <http://schema.org/name> "Rewriting systems (Computer science) Congresses." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/rewriting_systems_computer_science_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/electronic_digital_computers_programming_congresses> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845513784> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/659969350> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming_21st_1994_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/441693858> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/algorithms_congresses> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/computer_science> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/systeme_de_reecriture_informatique_congres> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems 4th international workshop CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/genre> "Electronic resources (Books)"@en .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630060974> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.worldcat.org/fast/1096809> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://viaf.org/viaf/134520869> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_94_4_1994_jerozolima> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630060974> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/systemy_przepisujace_informatyka_konferencje> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_4_1994_07_13_15_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/748685539> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889684804> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/algorithmes_congres_congres> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_13_15_07_1994_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/190832619> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_yerushalayim_1994> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem_israel> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634771359> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150397942> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/68985077> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/description> "This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting." .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and Typed Rewriting Systems 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/logica_matematica_congressi_1994> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings"@en .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87003035> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/605086201> .
<http://worldcat.org/entity/work/id/364566512> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/algoritmi_congressi_1994> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/congressi_gerusalemme_1994> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/rewriting_systems_computer_science_congresses> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801049764> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_conditional_and_typed_rewriting_systems_workshop_4_1994_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_term_rewriting_systems_jerusalem_1994_07> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007100991> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/artificial_intelligence_incl_robotics> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630060974> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/alternateName> "CTRS-94" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827358571> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634771359> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/systeme_de_reecriture> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/programmation_informatique_congres_congres> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751015291> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/fundamentele_informatica> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_07_13_15_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, 1994 : proceedings"@en .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797456890> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_ctrs_workshop_4th_1994_jerusalem> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107310> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/systemes_de_reecriture_informatique_congres> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994 ; proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings" .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/name> "Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings"@en .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2010111020> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473446319> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003487> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/364566512#Topic/elaboratori_elettronici_programmazione_congressi_1994> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/717266844> .
<http://worldcat.org/entity/work/id/364566512> <http://schema.org/workExample> <http://www.worldcat.org/oclc/811390511> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systemy_przepisujace_informatyka_konferencje> <http://schema.org/name> "Systemy przepisujące (informatyka) konferencje." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systemy_przepisujace_informatyka_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_4_1994_07_13_15_jerusalem> <http://schema.org/name> "CTRS (4 1994.07.13-15 Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_4_1994_07_13_15_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/ctrs_4_1994_07_13_15_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem_israel> <http://schema.org/name> "International Workshop on Conditional (and Typed) Rewriting Systems (4th : 1994 : Jerusalem, Israel)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem_israel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem_israel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/fundamentele_informatica> <http://schema.org/name> "Fundamentele informatica." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/fundamentele_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming> <http://schema.org/name> "International Colloquium on Automata, Languages, and Programming." .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/algoritmi_congressi_1994> <http://schema.org/name> "Algoritmi - Congressi - 1994." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/algoritmi_congressi_1994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem> <http://schema.org/name> "International Workshop on Conditional (and Typed) Rewriting Systems (4th : 1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4th_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systemes_de_reecriture_informatique_congres> <http://schema.org/name> "Systèmes de réécriture (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systemes_de_reecriture_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systeme_de_reecriture_informatique_congres> <http://schema.org/name> "système de réécriture (informatique) [congrès]" .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/systeme_de_reecriture_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming_21st_1994_jerusalem> <http://schema.org/name> "International Colloquium on Automata, Languages, and Programming (21st : 1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming_21st_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_colloquium_on_automata_languages_and_programming_21st_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/364566512#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/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_07_13_15_jerusalem> <http://schema.org/name> "International Workshop on Conditional (and Typed) Rewriting Systems (4 1994.07.13-15 Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_07_13_15_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_07_13_15_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/364566512.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/364566512> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/programming_languages_compilers_interpreters> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/electronic_digital_computers_programming_congresses> <http://schema.org/name> "Electronic digital computers Programming Congresses." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/electronic_digital_computers_programming_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/congressi_gerusalemme_1994> <http://schema.org/name> "Congressi - Gerusalemme - 1994." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/congressi_gerusalemme_1994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/algorithms_congresses> <http://schema.org/name> "Algorithms Congresses." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/algorithms_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_jerusalem> <http://schema.org/name> "International Workshop on Conditional and Typed Rewriting Systems (4 : 1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_jerusalem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/364566512#Meeting/international_workshop_on_conditional_and_typed_rewriting_systems_4_1994_jerusalem> <http://schema.org/name> "International Workshop on Conditional (and Typed) Rewriting Systems (4 : 1994 : Jerusalem)" .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/logica_matematica_congressi_1994> <http://schema.org/name> "Logica matematica - Congressi - 1994." .
<http://experiment.worldcat.org/entity/work/data/364566512#Topic/logica_matematica_congressi_1994> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .