DMCA

Deciding regular grammar logics with converse through first-order logic (2005)

by Stéphane Demri , Hans De Nivelle
Venue:JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
Citations:34 - 1 self