Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

27th FoSSaCS@ETAPS 2024: Luxembourg City, Luxembourg - Part II

> Home > Conferences and Workshops > FoSSaCS
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/2024-2
Naoki Kobayashi, James Worrell:
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14575, Springer 2024, ISBN 978-3-031-57230-2

Types and Programming Languages

- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BlotDTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BlotDTW24
Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter:
From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. 3-23
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/AccattoliL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AccattoliL24
Beniamino Accattoli, Adrienne Lancelot:
Light Genericity. 24-46
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/GoncharovSSTU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GoncharovSSTU24
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Logical Predicates in Higher-Order Mathematical Operational Semantics. 47-69
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BaillotLKV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BaillotLKV24
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale:
On Basic Feasible Functionals and the Interpretation Method. 70-91

Logic and Proofs

- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/GeattiMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GeattiMM24
Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. 95-115
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/CzernerEK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CzernerEK24
Philipp Czerner, Javier Esparza, Valentin Krasotin:
A Resolution-Based Interactive Proof System for UNSAT. 116-136
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/CateC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CateC24
Balder ten Cate, Jesse Comer:
Craig Interpolation for Decidable First-Order Fragments. 137-159
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Saville24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Saville24
Philip Saville:
Clones, closed categories, and combinatory logic. 160-181

Infinite-State Systems

- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/DraghiciHR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DraghiciHR24
Andrei Draghici, Christoph Haase, Andrew Ryzhikov:
Reachability in Fixed VASS: Expressiveness and Lower Bounds. 185-205
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/KassingFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/KassingFG24
Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl:
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. 206-228
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/AlmagorASY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AlmagorASY24
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun:
Dimension-Minimality and Primality of Counter Nets. 229-249
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/GuillouMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GuillouMW24
Lucie Guillou, Corto Mascle, Nicolas Waldburger:
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. 250-270

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.