FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alves, Sandra	Quantitative Weak Linearisation
B
Blanqui, Frédéric	The International School on Rewriting
D
Dundua, Besik	The International School on Rewriting
E
Endrullis, Jörg	RLooP (the Rewriting List of open Problems)
M
Marti-Oliet, Narciso	The International School on Rewriting
Middeldorp, Aart	The International School on Rewriting
N
Nishida, Naoki	Inversion and Determinization in Term Rewriting
R
Rocha, Camilo	The International School on Rewriting
W
Waldmann, Johannes	The International School on Rewriting
Z
Zantema, Hans	The International School on Rewriting

Disclaimer | Powered by EasyChair Smart Program