Search - Descriptional Complexity of Formal Systems (DCFS 2017) Access content directly

Filter your results

2 results
Image document

A Parametrized Analysis of Algorithms on Hierarchical Graphs

Rachel Faran , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.114-127, ⟨10.1007/978-3-319-60252-3_9⟩
Conference papers hal-01657006v1
Image document

Sensing as a Complexity Measure

Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1