Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

2 résultats

	Pour les 2 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

		Weighted Tiling Systems for Graphs: Evaluation Complexity C. Aiswarya , Paul Gastin Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa, India. pp.34:1--34:17, ⟨10.4230/LIPICS.FSTTCS.2020.34⟩ Communication dans un congrès hal-04541355v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Reasoning about distributed systems: WYSIWYG C. Aiswarya , Paul Gastin 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India Communication dans un congrès hal-01091168v1	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