97 citations · 156 across the 13 of their papers we have counts for
1 paper · 1 filter
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut el…