<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Article-Journal | Samuel Teuber</title>
    <link>https://teuber.dev/publication-type/article-journal/</link>
      <atom:link href="https://teuber.dev/publication-type/article-journal/index.xml" rel="self" type="application/rss+xml" />
    <description>Article-Journal</description>
    <generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>en-us</language><copyright>© Samuel Teuber 2026</copyright><lastBuildDate>Fri, 03 Apr 2026 00:00:00 +0000</lastBuildDate>
    <image>
      <url>https://teuber.dev/media/icon_hu12043384013482896550.png</url>
      <title>Article-Journal</title>
      <link>https://teuber.dev/publication-type/article-journal/</link>
    </image>
    
    <item>
      <title>Heterogeneous Dynamic Logic: Provability Modulo Program Theories</title>
      <link>https://teuber.dev/publication/hdl/</link>
      <pubDate>Fri, 03 Apr 2026 00:00:00 +0000</pubDate>
      <guid>https://teuber.dev/publication/hdl/</guid>
      <description></description>
    </item>
    
  </channel>
</rss>
