{"id":{"repo_id":"tartu","oai_identifier":"oai:dspace.ut.ee:10062/1109"},"canonical_url":"https://search.dev.ndltd.org/etd/tartu/oai:dspace.ut.ee:10062/1109","repository":{"repo_id":"tartu","name":"University of Tartu","base_url":"http://dspace.ut.ee/oai/request"},"display":{"title":"Iteratively defined transfinite trace semantics and program slicing with respect to them","abstract":"","abstract_html":null,"abstract_has_math":false,"creators":["Nestra, Härmel"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2006,"date_issued":"2006","date_published":"2006","updated_at":"2026-07-24T06:23:39Z","subjects":[],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["hdl:10062/1109"],"render_values":[{"text":"hdl:10062/1109","href":null,"code":true}]}]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2006"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["hdl:10062/1109"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:title","label":"Title","values":["Iteratively defined transfinite trace semantics and program slicing with respect to them"]}]}],"canonical_facts":{"dc:date.issued":["2006"],"dc:identifier":["hdl:10062/1109"],"dc:title":["Iteratively defined transfinite trace semantics and program slicing with respect to them"],"dc:type":["Thesis"]},"updated_at":"2026-07-24T06:23:39Z"}