Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102034987> ?p ?o ?g. }
- W2102034987 endingPage "464" @default.
- W2102034987 startingPage "443" @default.
- W2102034987 abstract "We discuss a number of distance functions encountered in the theory of computation, including metrics, ultra-metrics, quasi-metrics, generalized ultra-metrics, partial metrics, d-ultra-metrics and generalized metrics. We consider their properties, associated fixed-point theorems and some general applications they have within the theory of computation. We consider in detail the applications of generalized distance functions in giving a uniform treatment of several important semantics for logic programs, including acceptable programs and natural generalizations of them, and also the supported model and the stable model in the context of locally stratified extended disjunctive logic programs and databases." @default.
- W2102034987 created "2016-06-24" @default.
- W2102034987 creator A5006872667 @default.
- W2102034987 creator A5032694810 @default.
- W2102034987 date "2008-01-17" @default.
- W2102034987 modified "2023-09-23" @default.
- W2102034987 title "Generalized Distance Functions in the Theory of Computation" @default.
- W2102034987 cites W1211111270 @default.
- W2102034987 cites W123643795 @default.
- W2102034987 cites W13469394 @default.
- W2102034987 cites W142147367 @default.
- W2102034987 cites W1482240164 @default.
- W2102034987 cites W1494051470 @default.
- W2102034987 cites W1501676541 @default.
- W2102034987 cites W1503729935 @default.
- W2102034987 cites W1519226543 @default.
- W2102034987 cites W1541434994 @default.
- W2102034987 cites W1544564247 @default.
- W2102034987 cites W1555294121 @default.
- W2102034987 cites W1557973150 @default.
- W2102034987 cites W1559626229 @default.
- W2102034987 cites W1568121104 @default.
- W2102034987 cites W1568396297 @default.
- W2102034987 cites W1570176553 @default.
- W2102034987 cites W1580831253 @default.
- W2102034987 cites W1589796146 @default.
- W2102034987 cites W1593086612 @default.
- W2102034987 cites W16080872 @default.
- W2102034987 cites W1639008444 @default.
- W2102034987 cites W1668904657 @default.
- W2102034987 cites W1696720702 @default.
- W2102034987 cites W1719974439 @default.
- W2102034987 cites W1727590279 @default.
- W2102034987 cites W1766332311 @default.
- W2102034987 cites W1824588851 @default.
- W2102034987 cites W1844301878 @default.
- W2102034987 cites W1844775953 @default.
- W2102034987 cites W1934437165 @default.
- W2102034987 cites W194319365 @default.
- W2102034987 cites W1955602689 @default.
- W2102034987 cites W1968513265 @default.
- W2102034987 cites W1978279952 @default.
- W2102034987 cites W1981802053 @default.
- W2102034987 cites W1984190214 @default.
- W2102034987 cites W1988843130 @default.
- W2102034987 cites W1990759781 @default.
- W2102034987 cites W1991045633 @default.
- W2102034987 cites W2003531456 @default.
- W2102034987 cites W2004181454 @default.
- W2102034987 cites W2005409160 @default.
- W2102034987 cites W2015695472 @default.
- W2102034987 cites W2016680799 @default.
- W2102034987 cites W2023309117 @default.
- W2102034987 cites W2023739237 @default.
- W2102034987 cites W2024355065 @default.
- W2102034987 cites W2025430189 @default.
- W2102034987 cites W2026749963 @default.
- W2102034987 cites W2032346221 @default.
- W2102034987 cites W2037719166 @default.
- W2102034987 cites W2047277075 @default.
- W2102034987 cites W2049020723 @default.
- W2102034987 cites W2061206257 @default.
- W2102034987 cites W2062508836 @default.
- W2102034987 cites W2062990109 @default.
- W2102034987 cites W2068718645 @default.
- W2102034987 cites W2072609132 @default.
- W2102034987 cites W2073628655 @default.
- W2102034987 cites W2076019225 @default.
- W2102034987 cites W2076698873 @default.
- W2102034987 cites W2082296752 @default.
- W2102034987 cites W2087031585 @default.
- W2102034987 cites W2092260948 @default.
- W2102034987 cites W2093397547 @default.
- W2102034987 cites W2102045458 @default.
- W2102034987 cites W2111353076 @default.
- W2102034987 cites W2111647848 @default.
- W2102034987 cites W2116106442 @default.
- W2102034987 cites W2120869002 @default.
- W2102034987 cites W2139031879 @default.
- W2102034987 cites W2143382644 @default.
- W2102034987 cites W2153211279 @default.
- W2102034987 cites W2153324628 @default.
- W2102034987 cites W2293179358 @default.
- W2102034987 cites W2295106381 @default.
- W2102034987 cites W2476007221 @default.
- W2102034987 cites W2486663812 @default.
- W2102034987 cites W3160120230 @default.
- W2102034987 cites W338913989 @default.
- W2102034987 cites W41705835 @default.
- W2102034987 cites W58801046 @default.
- W2102034987 cites W62721592 @default.
- W2102034987 cites W63176152 @default.
- W2102034987 cites W636407310 @default.
- W2102034987 cites W72558488 @default.
- W2102034987 cites W77672567 @default.
- W2102034987 doi "https://doi.org/10.1093/comjnl/bxm108" @default.
- W2102034987 hasPublicationYear "2008" @default.
- W2102034987 type Work @default.