Sciweavers

Share
15 search results - page 1 / 3
» sofsem 2016
Sort
View
SOFSEM
2016
Springer
3 years 9 days ago
A Natural Counting of Lambda Terms
We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lesca...
SOFSEM
2016
Springer
3 years 9 days ago
Lower Bounds for Online Bin Stretching with Several Bins
Online Bin Stretching is a semi-online variant of Bin Packing with a set number of m bins, where all bins can be overpacked to capacity S ≥ 1, which is to be minimized. There is ...
Martin Böhm
SOFSEM
2016
Springer
3 years 9 days ago
Orthogonal Layout with Optimal Face Complexity
Given a biconnected plane graph G and a nonnegative integer k, we examine the problem of deciding whether G admits a strict-orthogonal drawing (i.e., an orthogonal drawing without ...
Muhammad Jawaherul Alam, Stephen G. Kobourov, Deba...
books