Graph explorer

Lutz Schröder

Lutz Schröder contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapLutz Schröder
13 nodes12 links
Lutz Schröder13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipALutz SchröderResearcherWNominal Automata with N...preprint / 2021WPSPACE Bounds for Rank-...preprint / 2007WLinearizability of Non-...preprint / 2006WBootstrapping Inductive...preprint / 2008WCompleteness of Flat Co...preprint / 2016WAutomata Learning: An A...preprint / 2020WNon-iterative Modal Log...preprint / 2020WNP Reasoning in the Mon...preprint / 2020WA Coinductive Calculus ...preprint / 2011WSimulations and Bisimul...preprint / 2013WSubsumption Checking in...preprint / 2014WPowermonads and Tensors...preprint / 2011
PersonSignal 1012 links

Lutz Schröder

Researcher

Open