{"id":2792,"date":"2019-11-04T16:58:45","date_gmt":"2019-11-04T14:58:45","guid":{"rendered":"http:\/\/mon.uvic.cat\/butlleti-recerca\/?p=2792"},"modified":"2019-11-04T16:58:45","modified_gmt":"2019-11-04T14:58:45","slug":"resource-analysis-driven-by-conditional-termination-proofs","status":"publish","type":"post","link":"https:\/\/mon.uvic.cat\/butlleti-recerca\/2019\/11\/04\/resource-analysis-driven-by-conditional-termination-proofs\/","title":{"rendered":"Resource Analysis driven by (Conditional) Termination Proofs"},"content":{"rendered":"<ul>\n<li>ALBERT, E., BOFILL, M., BORRALLERAS, C., MARTIN-MARTIN, E., i RUBIO, A. (2019). <a href=\"https:\/\/doi.org\/10.1017\/S1471068419000152\">Resource Analysis driven by (Conditional) Termination Proofs<\/a>. Theory and Practice of Logic Programming, 19(5-6), 722-739. doi: 10.1017\/S1471068419000152<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>ALBERT, E., BOFILL, M., BORRALLERAS, C., MARTIN-MARTIN, E., i RUBIO, A. (2019). Resource Analysis driven by (Conditional) Termination Proofs. Theory &hellip; <a href=\"https:\/\/mon.uvic.cat\/butlleti-recerca\/2019\/11\/04\/resource-analysis-driven-by-conditional-termination-proofs\/\">Read More<\/a><\/p>\n","protected":false},"author":430,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[4],"tags":[],"class_list":["post-2792","post","type-post","status-publish","format-standard","hentry","category-publicacions"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paCdMn-J2","publishpress_future_action":{"enabled":false,"date":"2026-04-13 09:39:27","action":"change-status","newStatus":"trash","terms":[],"taxonomy":"category","extraData":[]},"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/posts\/2792","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/users\/430"}],"replies":[{"embeddable":true,"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/comments?post=2792"}],"version-history":[{"count":2,"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/posts\/2792\/revisions"}],"predecessor-version":[{"id":2815,"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/posts\/2792\/revisions\/2815"}],"wp:attachment":[{"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/media?parent=2792"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/categories?post=2792"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mon.uvic.cat\/butlleti-recerca\/wp-json\/wp\/v2\/tags?post=2792"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}