3557 search results - page 200 / 712 » Authoring Presentation for OpenMath |
157
click to vote
IJNSEC
2007
15 years 6 months ago
2007
This paper presents a method that allows for securely saving a temporal sequence of data (log lines) in a file. Log lines are signed by an authority, and are thus unalterable wit...
144
click to vote
APPML
2005
15 years 6 months ago
2005
Let the trunk of a graph G be the graph obtained by removing all leaves of G. We prove that, for every integer c 2, there are at most finitely many trunks of semiharmonic graphs ...
155
click to vote
TCS
2008
15 years 6 months ago
2008
Eilenberg's variety theorem gives a bijective correspondence between varieties of languages and varieties of finite monoids. The second author gave a similar relation between...
164
click to vote
JAR
2007
15 years 6 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
158
click to vote
JCT
2007
15 years 6 months ago
2007
In Ziegler (2002), the second author presented a lower bound for the chromatic numbers of hypergraphs KGr sssS, “generalized r-uniform Kneser hypergraphs with intersection multi...