RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

Deciding whether a relation defined in Presburger logic can be defined in weaker logics

Christian Choffrut

RAIRO-Theor. Inf. Appl., 42 1 (2008) 121-135

Published online: 18 January 2008

DOI: 10.1051/ita:2007047

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

Christian Choffrut

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)