{"id":232,"date":"2016-01-23T21:32:36","date_gmt":"2016-01-23T20:32:36","guid":{"rendered":"https:\/\/silvijaseres.com\/?page_id=232"},"modified":"2018-01-30T15:39:22","modified_gmt":"2018-01-30T14:39:22","slug":"academic-papers","status":"publish","type":"page","link":"https:\/\/silvijaseres.com\/academic-papers\/","title":{"rendered":"Academic Papers by Silvija Seres"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"232\" class=\"elementor elementor-232 elementor-bc-flex-widget\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-acp51vj elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"acp51vj\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-9bltkwt\" data-id=\"9bltkwt\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-35mrzl8 elementor-widget elementor-widget-heading\" data-id=\"35mrzl8\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\nAcademic Papers by Silvija Seres<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-dxc1j5a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"dxc1j5a\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-y1o4x0m\" data-id=\"y1o4x0m\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f8imxao elementor-widget elementor-widget-text-editor\" data-id=\"f8imxao\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p>S. Seres:\u00a0<strong>The Algebra of Logic Programming<\/strong>,<br \/>Thesis submitted in partial fulfilment of the requirements for the Doctor of Philosophy in Computation at University of Oxford.<br \/>Supervised by Tony Hoare and Mike Spivey.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_thesis.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download thesis:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_thesis.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p><p>S. Seres, S-C Mu:\u00a0<strong>Optimisation problems in logic programming: an algebraic approach<\/strong>,<br \/>Published in the Proceedings of LPSE\u201900, July 2000.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_lpse00.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download paper:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_lpse00.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p><p>S. Seres, J. M. Spivey:\u00a0<strong>Higher-order transformation of logic programs<\/strong>,<br \/>Published in the Preproceedings of LOPSTR\u201900, July 2000.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_lopstr00.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download paper:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_lopstr00.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p><p>S. Seres, J. M. Spivey, C.A.R. Hoare:\u00a0<strong>Algebra of Logic Programming<\/strong>,<br \/>Published in the proceedings of ICLP\u201999, November 1999.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_iclp99.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download paper:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_iclp99.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p><p>J. M. Spivey, S. Seres:\u00a0<strong>The Algebra of Searching<\/strong>,<br \/>Published in the Proceedings of the Symposium in honour of work of C.A.R. Hoare, September 1999.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_carh99.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download paper:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_carh99.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p><p>S. Seres, J. M. Spivey:\u00a0<strong>Embedding Prolog into Haskell<\/strong>,<br \/>Published in the proceedings of HASKELL\u201999, September 1999.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_haskell99.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download paper:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_haskell99.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p><p>S. Seres, J. M. Spivey:\u00a0<strong>Functional Reading of Logic Programs<\/strong>,<br \/>Published in the Journal of Universal Computer Science, March 2000. Submitted April 1999.<br \/>Also presented at BCTCS\u201999 in April 1999.<br \/>Abstract:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_bctcs99.htm\" target=\"_blank\" rel=\"noopener\">HTML<\/a>, Download paper:\u00a0<a href=\"http:\/\/www.silvija.net\/0000OxfordPublications\/seres_bctcs99.pdf\" target=\"_blank\" rel=\"noopener\">PDF<\/a><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Academic Papers by Silvija Seres S. Seres:\u00a0The Algebra of Logic Programming,Thesis submitted in partial fulfilment of the requirements for the Doctor of Philosophy in Computation at University of Oxford.Supervised by Tony Hoare and Mike Spivey.Abstract:\u00a0HTML, Download thesis:\u00a0PDF S. Seres, S-C Mu:\u00a0Optimisation problems in logic programming: an algebraic approach,Published in the Proceedings of LPSE\u201900, July 2000.Abstract:\u00a0HTML, &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/silvijaseres.com\/academic-papers\/\"> <span class=\"screen-reader-text\">Academic Papers by Silvija Seres<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":2,"featured_media":836,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"no-sidebar","site-content-layout":"plain-container","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"default","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.5 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Academic Papers by Silvija Seres and others<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/silvijaseres.com\/academic-papers\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Academic Papers by Silvija Seres and others\" \/>\n<meta property=\"og:description\" content=\"Academic Papers by Silvija Seres S. Seres:\u00a0The Algebra of Logic Programming,Thesis submitted in partial fulfilment of the requirements for the Doctor of Philosophy in Computation at University of Oxford.Supervised by Tony Hoare and Mike Spivey.Abstract:\u00a0HTML, Download thesis:\u00a0PDF S. Seres, S-C Mu:\u00a0Optimisation problems in logic programming: an algebraic approach,Published in the Proceedings of LPSE\u201900, July 2000.Abstract:\u00a0HTML, &hellip; Academic Papers by Silvija Seres Read More &raquo;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/silvijaseres.com\/academic-papers\/\" \/>\n<meta property=\"og:site_name\" content=\"Silvija Seres\" \/>\n<meta property=\"article:modified_time\" content=\"2018-01-30T14:39:22+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/silvijaseres.com\/wp-content\/uploads\/2017\/01\/seamless-geometrical-pattern-wrapping-paper-design_fkfP0asO_L.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"800\" \/>\n\t<meta property=\"og:image:height\" content=\"566\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/silvijaseres.com\/academic-papers\/\",\"url\":\"https:\/\/silvijaseres.com\/academic-papers\/\",\"name\":\"Academic Papers by Silvija Seres and others\",\"isPartOf\":{\"@id\":\"https:\/\/silvijaseres.com\/#website\"},\"datePublished\":\"2016-01-23T20:32:36+00:00\",\"dateModified\":\"2018-01-30T14:39:22+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/silvijaseres.com\/academic-papers\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/silvijaseres.com\/academic-papers\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/silvijaseres.com\/academic-papers\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/silvijaseres.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Academic Papers by Silvija Seres\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/silvijaseres.com\/#website\",\"url\":\"https:\/\/silvijaseres.com\/\",\"name\":\"Silvija Seres\",\"description\":\"Independent board director, entrepreneur, scientist\",\"publisher\":{\"@id\":\"https:\/\/silvijaseres.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/silvijaseres.com\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/silvijaseres.com\/#organization\",\"name\":\"Silvija Seres\",\"url\":\"https:\/\/silvijaseres.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/silvijaseres.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/silvijaseres.com\/wp-content\/uploads\/2016\/06\/logosvart-250.png\",\"contentUrl\":\"https:\/\/silvijaseres.com\/wp-content\/uploads\/2016\/06\/logosvart-250.png\",\"width\":250,\"height\":53,\"caption\":\"Silvija Seres\"},\"image\":{\"@id\":\"https:\/\/silvijaseres.com\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Academic Papers by Silvija Seres and others","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/silvijaseres.com\/academic-papers\/","og_locale":"en_US","og_type":"article","og_title":"Academic Papers by Silvija Seres and others","og_description":"Academic Papers by Silvija Seres S. Seres:\u00a0The Algebra of Logic Programming,Thesis submitted in partial fulfilment of the requirements for the Doctor of Philosophy in Computation at University of Oxford.Supervised by Tony Hoare and Mike Spivey.Abstract:\u00a0HTML, Download thesis:\u00a0PDF S. Seres, S-C Mu:\u00a0Optimisation problems in logic programming: an algebraic approach,Published in the Proceedings of LPSE\u201900, July 2000.Abstract:\u00a0HTML, &hellip; Academic Papers by Silvija Seres Read More &raquo;","og_url":"https:\/\/silvijaseres.com\/academic-papers\/","og_site_name":"Silvija Seres","article_modified_time":"2018-01-30T14:39:22+00:00","og_image":[{"width":800,"height":566,"url":"https:\/\/silvijaseres.com\/wp-content\/uploads\/2017\/01\/seamless-geometrical-pattern-wrapping-paper-design_fkfP0asO_L.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/silvijaseres.com\/academic-papers\/","url":"https:\/\/silvijaseres.com\/academic-papers\/","name":"Academic Papers by Silvija Seres and others","isPartOf":{"@id":"https:\/\/silvijaseres.com\/#website"},"datePublished":"2016-01-23T20:32:36+00:00","dateModified":"2018-01-30T14:39:22+00:00","breadcrumb":{"@id":"https:\/\/silvijaseres.com\/academic-papers\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/silvijaseres.com\/academic-papers\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/silvijaseres.com\/academic-papers\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/silvijaseres.com\/"},{"@type":"ListItem","position":2,"name":"Academic Papers by Silvija Seres"}]},{"@type":"WebSite","@id":"https:\/\/silvijaseres.com\/#website","url":"https:\/\/silvijaseres.com\/","name":"Silvija Seres","description":"Independent board director, entrepreneur, scientist","publisher":{"@id":"https:\/\/silvijaseres.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/silvijaseres.com\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/silvijaseres.com\/#organization","name":"Silvija Seres","url":"https:\/\/silvijaseres.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/silvijaseres.com\/#\/schema\/logo\/image\/","url":"https:\/\/silvijaseres.com\/wp-content\/uploads\/2016\/06\/logosvart-250.png","contentUrl":"https:\/\/silvijaseres.com\/wp-content\/uploads\/2016\/06\/logosvart-250.png","width":250,"height":53,"caption":"Silvija Seres"},"image":{"@id":"https:\/\/silvijaseres.com\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/pages\/232"}],"collection":[{"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/comments?post=232"}],"version-history":[{"count":16,"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/pages\/232\/revisions"}],"predecessor-version":[{"id":1777,"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/pages\/232\/revisions\/1777"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/media\/836"}],"wp:attachment":[{"href":"https:\/\/silvijaseres.com\/wp-json\/wp\/v2\/media?parent=232"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}