Matches in Ghent University Academic Bibliography for { <https://biblio.ugent.be/publication/01GK70H6NFRPC39FNCN6Y2SFGH> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 01GK70H6NFRPC39FNCN6Y2SFGH classification A1.
- 01GK70H6NFRPC39FNCN6Y2SFGH date "2017".
- 01GK70H6NFRPC39FNCN6Y2SFGH language "eng".
- 01GK70H6NFRPC39FNCN6Y2SFGH type journalArticle.
- 01GK70H6NFRPC39FNCN6Y2SFGH hasPart 01GK70JSDWY9HA9T114RN4MRW6.pdf.
- 01GK70H6NFRPC39FNCN6Y2SFGH hasPart 01GQHMRKSTEZWZES1CFK4ZZGDN.pdf.
- 01GK70H6NFRPC39FNCN6Y2SFGH subject "Mathematics and Statistics".
- 01GK70H6NFRPC39FNCN6Y2SFGH doi "10.1093/logcom/exu081".
- 01GK70H6NFRPC39FNCN6Y2SFGH issn "0955-792X".
- 01GK70H6NFRPC39FNCN6Y2SFGH issn "1465-363X".
- 01GK70H6NFRPC39FNCN6Y2SFGH issue "4".
- 01GK70H6NFRPC39FNCN6Y2SFGH volume "27".
- 01GK70H6NFRPC39FNCN6Y2SFGH abstract "For representation by partial functions in the signature with intersection, composition and anti-domain, we show that a representation is meet complete if and only if it is join complete. We show that a representation is complete if and only if it is atomic, but that not all atomic representable algebras are completely representable. We show that the class of completely representable algebras is not axiomatizable by any existential-universal-existential first-order theory. By giving an explicit representation, we show that the completely representable algebras form a basic elementary class, axiomatizable by a universal-existential-universal sentence.".
- 01GK70H6NFRPC39FNCN6Y2SFGH author d304389c-9335-11eb-a808-90b2a443641c.
- 01GK70H6NFRPC39FNCN6Y2SFGH dateCreated "2022-12-01T14:13:01Z".
- 01GK70H6NFRPC39FNCN6Y2SFGH dateModified "2024-11-27T13:29:07Z".
- 01GK70H6NFRPC39FNCN6Y2SFGH name "Complete representation by partial functions for composition, intersection and anti-domain".
- 01GK70H6NFRPC39FNCN6Y2SFGH pagination urn:uuid:26576225-49c9-4995-9e63-fefc1255ead6.
- 01GK70H6NFRPC39FNCN6Y2SFGH publisher urn:uuid:820d5903-e2dd-4f33-bf86-66b280209a52.
- 01GK70H6NFRPC39FNCN6Y2SFGH sameAs LU-01GK70H6NFRPC39FNCN6Y2SFGH.
- 01GK70H6NFRPC39FNCN6Y2SFGH sourceOrganization urn:uuid:6cea1f64-6ae1-42f0-aaaf-6e183e7a26ef.
- 01GK70H6NFRPC39FNCN6Y2SFGH type A1.