On the Convergence of Reduction-based and Model-based Methods in Proof Theory Fulltext Access 8 Pages 2008
On a definition of random sequences with respect to conditional probability Fulltext Access 8 Pages 2008
Directed complete bipartite graph decompositions: Indirect constructions Fulltext Access 8 Pages 2008
On the rigidity of spherical tt-designs that are orbits of reflection groups E8E8 and H4H4 Fulltext Access 8 Pages 2008
On the two variable distance enumerator of the Shi hyperplane arrangement Fulltext Access 8 Pages 2008
An extended lower bound on the number of (⩽k)-edges to generalized configurations of points and the pseudolinear crossing number of Kn Fulltext Access 8 Pages 2008
A description of the outer automorphism of S6, and the invariants of six points in projective space Fulltext Access 8 Pages 2008
On the asymptotic minimum number of monochromatic 3-term arithmetic progressions Fulltext Access 8 Pages 2008
An efficient distributed algorithm for canonical labeling on directed split-stars Fulltext Access 8 Pages 2008
Diameter-sufficient conditions for a graph to be super-restricted connected Fulltext Access 8 Pages 2008
A polynomial time algorithm for solving a quality control station configuration problem Fulltext Access 8 Pages 2008
The extremal values of the Wiener index of a tree with given degree sequence Fulltext Access 8 Pages 2008
Equivalence of permutation polytopes corresponding to strictly supermodular functions Fulltext Access 8 Pages 2008
A characterization of flip-accessibility for rhombus tilings of the whole plane Fulltext Access 9 Pages 2008
Semi-automatic Generation of Metamodels and Models From Grammars and Programs Fulltext Access 9 Pages 2008
On Challenges for a Graphical Transformation Notation and the UMLX Approach Fulltext Access 9 Pages 2008
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams Fulltext Access 9 Pages 2008
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming Fulltext Access 9 Pages 2008
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs Fulltext Access 9 Pages 2008
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax Fulltext Access 9 Pages 2008
Comparison of some descriptional complexities of 0L systems obtained by a unifying approach Fulltext Access 9 Pages 2008
An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity Fulltext Access 9 Pages 2008
Minimal circular-imperfect graphs of large clique number and large independence number Fulltext Access 9 Pages 2008