Sailing Routes in the World of Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319944173, 9783319944180

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multiple Permitting and Array Noncomputability

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_3 ◽

2018 ◽

pp. 30-39 ◽

Author(s):

Klaus Ambos-Spies

Download Full-text

New Nonterminal Complexity Results for Semi-conditional Grammars

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_18 ◽

2018 ◽

pp. 172-182 ◽

Author(s):

Henning Fernau ◽

Lakshmanan Kuppusamy ◽

Rufus O. Oladele

Keyword(s):

Complexity Results

Download Full-text

Witness Hiding Without Extractors or Simulators

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_40 ◽

2018 ◽

pp. 397-409

Author(s):

André Souto ◽

Luís Antunes ◽

Paulo Mateus ◽

Andreia Teixeira

Download Full-text

On General Sum Approximations of Irrational Numbers

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_20 ◽

2018 ◽

pp. 194-203

Author(s):

Ivan Georgiev ◽

Lars Kristiansen ◽

Frank Stephan

Keyword(s):

Irrational Numbers

Download Full-text

Functionals of Type 3 as Realisers of Classical Theorems in Analysis

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_32 ◽

2018 ◽

pp. 318-327 ◽

Author(s):

Dag Normann

Keyword(s):

Download Full-text

A Unified Framework for Designing EPTAS’s for Load Balancing on Parallel Machines

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_23 ◽

2018 ◽

pp. 224-233

Author(s):

Ishai Kones ◽

Asaf Levin

Keyword(s):

Load Balancing ◽

Parallel Machines ◽

Unified Framework

Download Full-text

The Isometry Degree of a Computable Copy of $$\ell ^p$$

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_28 ◽

2018 ◽

pp. 277-286 ◽

Author(s):

Timothy H. McNicholl ◽

Don Stull

Download Full-text

Computing with Multisets: A Survey on Reaction Automata Theory

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_42 ◽

2018 ◽

pp. 421-431

Author(s):

Takashi Yokomori ◽

Fumiya Okubo

Keyword(s):

Automata Theory

Download Full-text

Optimized Program Extraction for Induction and Coinduction

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_7 ◽

2018 ◽

pp. 70-80 ◽

Author(s):

Ulrich Berger ◽

Olga Petrovska

Keyword(s):

Program Extraction

Download Full-text

A Journey to Computably Enumerable Structures (Tutorial Lectures)

Sailing Routes in the World of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94418-0_1 ◽

2018 ◽

pp. 1-19

Author(s):

Bakh Khoussainov

Keyword(s):

Computably Enumerable

Download Full-text