SOFSEM
2005
Springer
14 years 6 months ago
2005
Springer
An outerplanar (also called circular, convex, one-page) drawing of an n-vertex graph G is a drawing in which the vertices are placed on a circle and each edge is drawn using one s...
SOFSEM
2005
Springer
14 years 6 months ago
2005
Springer
SOFSEM
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. Treewidth is a graph parameter with several interesting theoretical and practical applications. This survey reviews algorithmic results on determining the treewidth of a ...
SOFSEM
2005
Springer
14 years 6 months ago
2005
Springer
SOFSEM
2005
Springer
14 years 6 months ago
2005
Springer
SOFSEM
2005
Springer
14 years 6 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
RTA
2005
Springer
14 years 6 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
RTA
2005
Springer
14 years 6 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
RTA
2005
Springer
14 years 6 months ago
2005
Springer
RTA
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...