Federated Logic Conference 2026 — Author Index (IWC)

PROGRAM AUTHORS Search

IWC TALK AUTHOR INDEX

Shortcuts: F G I J K L M N O S T

PROGRAM | AUTHORS

F
Felicissimo, Thiago	(IWC) Confluence & Formalization
G
Grabmayer, Clemens	(IWC) Graphs
Gutiérrez, Raúl	(IWC) Graphs (IWC) Variants of Term Rewriting Systems
I
Ivanov, Ievgen	(IWC) Confluence & Formalization
J
Jouannaud, Jean-Pierre	(IWC) Graphs
K
Kassing, Jan-Christoph	(IWC) Variants of Term Rewriting Systems
L
Lucas, Salvador	(IWC) Completion
M
Malbos, Philippe	(IWC) Completion
N
Niederhauser, Johannes	(IWC) Confluence & Formalization
O
Oostrom, Vincent van	(IWC) Confluence & Formalization (IWC) Completion
S
Sakai, Masahiko	(IWC) Variants of Term Rewriting Systems
T
Thiemann, René	(IWC) Confluence & Formalization (IWC) Variants of Term Rewriting Systems

🔍

↑