Skip to search formSkip to main contentSkip to account menu

Ludwig Staiger

Ludwig Staiger is a German mathematician and computer scientist at the Martin-Luther-Universität Halle-Wittenberg, Germany.Previously he had… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Algorithmic information theoryAutomata theoryComputer scientistElectronic Colloquium on Computational Complexity

Broader (1)

Theory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Turing machines with activations of transitions
We consider Turing machines which perform infinite sequences of runs, where the (finite) number of computation steps is in each run… 
2016
2016
Technical Report Column
Review
2011
Review
2011
The lichens of Fakahatchee Strand Preserve State Park, Florida: Proceedings from the 18th Tuckerman Workshop
Fakahatchee Strand Preserve State Park is located in Collier County at the extreme southwestern corner of Florida, close to… 
2010
2010
A CTL-Based Logic for Program Abstractions
We define an action-based extension of the branching-time temporal logic CTL which allows path quantifiers to be restricted by… 
2009
2009
Is there a Universal Image Generator?
  • 2009
  • Corpus ID: 14621172
2008
2008
On the bounds of the Titchener T-complexity
Titchenerpsilas T-complexity is a computable complexity measure for finite strings with practical applications in a number of… 
2008
2008
Topological Complexity of omega-Powers : Extended Abstract
This is an extended abstract presenting new results on the topological complexity of omega-powers (which are included in a paper… 
2008
2008
Series Universal Recursively Enumerable Sets of Strings
The main topic of the present work are universal machines for plain and prefix-free description complexity and their domains. It… 
Review
2005
Review
2005
The WTO Dispute Settlement Mechanism: Battlefield or Cooperation?
EU-US trade disputes have recently caught much attention, because they have involved lasting non-compliance coupled with WTO… 
1987
1987
Papers to appear in forthcoming issues
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)