1–20 of 511 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Information flow in a distributed security setting

    Matos, Ana Almeida / Cederquist, Jan | arXiv | 2019
  2.  

    Implementing Hybrid Semantics: From Functional to Imperative

    Goncharov, Sergey / Neves, Renato / Proença, José | arXiv | 2020
  3.  

    A Cyclic Proof System for HFLN

    Kori, Mayuko / Tsukada, Takeshi / Kobayashi, Naoki | arXiv | 2020
  4.  

    On the Axiomatizability of Quantitative Algebras

    Mardare, Radu / Panangaden, Prakash / Plotkin, Gordon | arXiv | 2018
  5.  

    Unifying Hyper and Epistemic Temporal Logic

    Bozzelli, Laura / Maubert, Bastien / Pinchinat, Sophie | arXiv | 2014
  6.  

    Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals

    Artale, Alessandro / Jung, Jean Christoph / Mazzullo, Andrea et al. | arXiv | 2020
  7.  

    Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

    Basold, Henning / Komendantskaya, Ekaterina / Li, Yue | arXiv | 2018
  8.  

    Uniform Interpolation for Coalgebraic Fixpoint Logic

    Marti, Johannes / Seifan, Fatemeh / Venema, Yde | arXiv | 2015
  9.  

    Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)

    Cantone, Domenico / Nicolosi-Asmundo, Marianna / Santamaria, Daniele Francesco | arXiv | 2016
  10.  

    First Degree Entailment with Group Attitudes and Information Updates

    Sedlár, Igor / Punčochář, Vít / Tedder, Andrew | arXiv | 2019
  11.  

    Practical Verification of Decision-Making in Agent-Based Autonomous Systems

    Dennis, Louise A. / Fisher, Michael / Lincoln, Nicholas K. et al. | arXiv | 2013
  12.  

    On Coupled Logical Bisimulation for the Lambda-Calculus

    Kavanagh, Ryan / Madiot, Jean-Marie | arXiv | 2014
  13.  

    Model-checking an Epistemic \mu-calculus with Synchronous and Perfect Recall Semantics

    Bozianu, Rodica / Dima, Cătălin / Enea, Constantin | arXiv | 2012
  14.  

    Idealized coinductive type systems for imperative object-oriented programs

    Ancona, Davide / Lagorio, Giovanni | EDP Sciences | 2011

Number of results: 10 | 20 | 50

Feedback