Recherche - Archive ouverte HAL

1 résultat

	Pour les 1 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Deciding whether the ordering is necessary in a Presburger formula Christian Choffrut , Achille Frigeri Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 1 (1), pp.20-37. ⟨10.46298/dmtcs.510⟩ Article dans une revue hal-00990437v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats