TABLEAUX 2025: 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Event name

Event type

Event for scientific audience

Start date

27-09-2025

End date

29-09-2025

Location

Reykjavik

Country

Iceland

Event format Veranstaltungsformat

On Site

Results 1-3 of 3 (Search time: 0.002 seconds).

RIS EndNote Bibtex

	Author(s)	Title	Type	Issue Date
1	Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha	Analytic Proofs for Tense Logic	Inproceedings Konferenzbeitrag	25-Sep-2025
2	Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura	Constraint Learning for Non-confluent Proof Search	Inproceedings Konferenzbeitrag	2026
3	Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura	On Solving String Equations via Powers and Parikh Images	Inproceedings Konferenzbeitrag	2026