Login / Signup
Leonard Fichtner
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Relational Algebra
Prime Implicates
Data Dependencies
Normal Form
Top Venues
TACAS (2)
</>
Publications
</>
Matthias Heizmann
,
Max Barth
,
Daniel Dietsch
,
Leonard Fichtner
,
Jochen Hoenicke
,
Dominik Klumpp
,
Mehdi Naouar
,
Tanja Schindler
,
Frank Schüssele
,
Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
TACAS (2)
(2023)