{"id":3401,"date":"2013-06-16T05:35:26","date_gmt":"2013-06-16T05:35:26","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3401"},"modified":"2013-06-16T05:36:01","modified_gmt":"2013-06-16T05:36:01","slug":"resena-a-haskell-library-for-term-rewriting","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-a-haskell-library-for-term-rewriting\/","title":{"rendered":"Rese\u00f1a: A Haskell library for term rewriting"},"content":{"rendered":"<p>Se ha publicado un art\u00edculo de automatizaci\u00f3n del razonamiento en Haskell titulado <a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/griff\/publications\/Felgenhauer-Avanzini-Sternagel-HART13.pdf\">A Haskell library for term rewriting<\/a>.<\/p>\n<p>Sus autores son <a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/bf3\/\">Bertram Felgenhauer<\/a>, <a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/zini\">Martin Avanzini<\/a> y <a href=\"http:\/\/www.jaist.ac.jp\/~c-sterna\/\">Christian Sternagel<\/a>.<\/p>\n<p>El trabajo se presentar\u00e1 en el <a href=\"http:\/\/www.imn.htwk-leipzig.de\/HART2013\/\">HART 2013<\/a> (<i>1st International Workshop on Haskell And Rewriting Techniques<\/i>).<\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nWe present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.\n<\/p><\/blockquote>\n<p>La p\u00e1gina de la librer\u00eda se encuentra <a href=\"http:\/\/cl-informatik.uibk.ac.at\/software\/haskell-rewriting\/\">aqu\u00ed<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un art\u00edculo de automatizaci\u00f3n del razonamiento en Haskell titulado A Haskell library for term rewriting. Sus autores son Bertram Felgenhauer, Martin Avanzini y Christian Sternagel. El trabajo se presentar\u00e1 en el HART 2013 (1st International Workshop on Haskell And Rewriting Techniques). Su resumen es We present a Haskell library for first-order term&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[270,285],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3401"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3401"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3401\/revisions"}],"predecessor-version":[{"id":3403,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3401\/revisions\/3403"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3401"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3401"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3401"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}