Login / Signup

Deciding Regular Grammar Logics with Converse Through First-Order Logic.

Stéphane DemriHans de Nivelle
Published in: J. Log. Lang. Inf. (2005)
Keyphrases