Skip to search formSkip to main contentSkip to account menu

Difference list

Known as: Difference lists 
In computer science, the term difference list may refer to one of two data structures for representing lists. One of these data structures contains… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Community structure of networks, i.e., groups of nodes densely connected inside the same group and weakly connected outside the… 
2009
2009
The difference-list technique is an effective method for extending lists to the right without using the append/3 procedure. There… 
2008
2008
Free theorems are a charm, allowing the derivation of useful statements about programs from their (polymorphic) types alone. We… 
2004
2004
This paper focuses on real world Web document classification problem. Real world Web documents classification has different… 
2003
2003
PRISM was born in 1997 as a symbolic statistical modeling language to facilitate modeling complex systems governed by rules and… 
2002
2002
This paper is concerned with the type analysis of logic programs where, by type, we mean a property closed under instantiation… 
Review
2000
Review
2000
Ripple down rules (RDR) are a case based reasoning technique that have been developed in answer to the need to provide a way of… 
2000
2000
There is much diversity in the approaches taken to ontological engineering. A common theme that unites them all is the… 
1993
1993
Difference-lists are terms that represent lists. The use of difference-lists can speed up most list-processing programs… 
1989
1989
  • Raiju Trehan
  • 1989
  • Corpus ID: 206274002
The explanation of the Resolution method of theorem proving in chapter 2 is intrinsically interesting, but needs to be…