PPaperPicks

David Fernández-Duque

2 papers at tracked venues · 1 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1KR ×1

Papers

  1. A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
    KR 2024 · David Fernández-Duque
  2. Dynamic Tangled Derivative Logic of Metric Spaces
    AAAI 2024 · David Fernández-Duque