IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishWe show that the independence relation defining a trace monoid M admits a transitive orientation if and only if the characteristic series ξ of a lexicographic cross section of M is the inverse of the determinant of (Id-X), where X is a matrix representing the minimum finite automaton recognizing ξ and Id is the identity matrix. This implies that, if the independence relation of a trace monoid M admits a transitive orientation, then any unambiguous lifting of the Möbius function of M is the determinant of a matrix defined by the smallest acceptor of the corresponding cross section.
Determinants and Moebius functions in trace monoids / C. Choffrut, M. Goldwurm. - In: DISCRETE MATHEMATICS. - ISSN 0012-365X. - 194:1-3(1999), pp. 239-247.
| Titolo: | Determinants and Moebius functions in trace monoids |
| Autori: | GOLDWURM, MASSIMILIANO (Ultimo) |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
| Data di pubblicazione: | 1999 |
| Rivista: | |
| Tipologia: | Article (author) |
| Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
http://hdl.handle.net/2434/190947
Copyright © 2021