Intervals as Domain Constructor
2001; Sociedade Brasileira de Matemática Aplicada e Computacional; Volume: 2; Issue: 1 Linguagem: Inglês
10.5540/tema.2001.02.01.0043
ISSN2179-8451
AutoresR. Callejas Bedregal, Benjamín Bedregal,
Tópico(s)Advanced Algebra and Logic
ResumoIn this work we use an inteval constructor on posets which when applied to a poset D gives a new poset whose elements are intervals of D.
Referência(s)