139
Voted
COCOC
15 years 4 months ago
1995  136
click to vote
CPM
15 years 4 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...
104
click to vote
COCOON
15 years 4 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...
96
Voted
COCOC
15 years 4 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...
CPM
15 years 4 months ago
1995 Springer  |
Combinatorics