167
click to vote
CPM
15 years 7 months ago
1995 Springer 
We consider strings which are succinctly described. The description is in terms of straight-line programs in which the constants are symbols and the only operation is the concaten...
165
Voted
COCOC
15 years 7 months ago
1995  133
click to vote
COCOON
15 years 7 months ago
1995 Springer 
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
126
Voted
CPM
15 years 7 months ago
1995 Springer  125
Voted
COCOC
15 years 7 months ago
1995 
We consider the collection of all spanning trees of a graph with distance between them based on the size of the symmetric difference of their edge sets. A central spanning tree o...
|
Combinatorics