EasyChair Smart SlideDocs/Log in
Conference: IJCAR 2024 (International Joint Conference on Automated Reasoning)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Johannes Niederhauser, Chad E. Brown and Cezary Kaliszyk

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean and Mihaela Sighireanu

Confluence of Logically Constrained Rewrite Systems Revisited

Confluence of Logically Constrained Rewrite Systems Revisited

Jonas Schöpf, Fabian Mitterwallner and Aart Middeldorp

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Filip Bártek, Karel Chvalovský and Martin Suda

Synthesis of Recursive Programs in Saturation

Synthesis of Recursive Programs in Saturation

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner

A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property

A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property

Camillo Fiorentini and Mauro Ferrari

A Decision Method for First-Order Stream Logic

A Decision Method for First-Order Stream Logic

Harald Ruess

Model Completeness for Rational Trees

Model Completeness for Rational Trees

Silvio Ghilardi and Lia Maria Poidomani

Presentations in this collection: 8
Copyright © 2002 – 2024 EasyChair