{"id":4335,"date":"2014-05-25T13:05:49","date_gmt":"2014-05-25T11:05:49","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4335"},"modified":"2014-05-25T13:10:32","modified_gmt":"2014-05-25T11:10:32","slug":"lecturas-compartidas-del-18-al-24-de-mayo","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lecturas-compartidas-del-18-al-24-de-mayo\/","title":{"rendered":"Lecturas del Grupo de L\u00f3gica Computacional (del 18 al 24 de mayo)"},"content":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas esta semana (del 18 al 24 de mayo) en la lista de correo del <a href=\"https:\/\/www.glc.us.es\">grupo de l\u00f3gica computacional<\/a><\/p>\n<p>La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a>. Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.<\/p>\n<ul>\n<li><a href=\"http:\/\/bit.ly\/1mYZYXz\">Formalizing Strand Spaces in Coq: Proving &#8220;Proving security protocols correct&#8221; correct<\/a> A. Kent &amp; J. McCarty #Coq<\/li>\n<li><a href=\"http:\/\/bit.ly\/T8fhjq\">Do creative-telescoping algorithms provide complete proofs? A formal study of Ap\u00e9ry\u2019s theorem<\/a> F. Chyzak et als. #Coq<\/li>\n<li><a href=\"http:\/\/bit.ly\/1iZ66Lk\">Formal proofs for nonlinear optimization<\/a> X. Allamigeon et als. #Coq<\/li>\n<li><a href=\"http:\/\/bit.ly\/1nPAyuT\">Exact combinational circuit synthesis in Haskell<\/a> P. Tarau #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1mZ7mlF\">Generating learning algorithms: Hidden Markov models as a case study<\/a> D. Szymczak #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1m0ZP24\">A generic view of primality (with Haskell type classes)<\/a> Paul Tarau #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1oPlLAs\">Model checking and deduction<\/a> N. Shankar #PVS<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas esta semana (del 18 al 24 de mayo) en la lista de correo del grupo de l\u00f3gica computacional La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en Twitter. Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","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":[177],"tags":[292],"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\/4335"}],"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=4335"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4335\/revisions"}],"predecessor-version":[{"id":4338,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4335\/revisions\/4338"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4335"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4335"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4335"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}