Elixir meets TPTP : Bringing Automated Reasoning to the BEAM Ecosystem
Schuster, Johannes; Fuenmayor, David; Benzmüller, Christoph (2026): Elixir meets TPTP : Bringing Automated Reasoning to the BEAM Ecosystem, in: Márton Hajdú, Cláudia Nalon, und Martin Suda (Hrsg.), Proceedings of the 10th Workshop on Practical Aspects of Automated Reasoning (PAAR 2026), co-located with FLoC 2026, July 25, 2026, Lisbon, Portugal, Aachen, Germany: RWTH Aachen.
Faculty/Chair:
Author:
 ;  ; 
Title of the compilation:
Proceedings of the 10th Workshop on Practical Aspects of Automated Reasoning (PAAR 2026), co-located with FLoC 2026, July 25, 2026, Lisbon, Portugal
Editors:
Hajdú, Márton
Nalon, Cláudia
Suda, Martin
ISSN:
1613-0073
Conference:
10th Workshop on Practical Aspects of Automated Reasoning (PAAR 2026), co-located with FLoC 2026, July 25, 2026 ; Lisbon, Portugal
Publisher Information:
Year of publication:
2026
Pages:
Series ; Volume:
CEUR workshop proceedings ; 4241
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 10, 2026

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/117137