Showing
1 - 4
results of
4
for search '
Tobias Walter
'
Skip to content
University Library
Library Catalogue Plus
Toggle navigation
New Search
Subject Guides (including databases)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
English
Catalogue
Articles Plus
All Fields
Title
Author
Subject
Shelfmark
ISBN/ISSN
Tag
Find
Advanced Search
Author
Tobias Walter
Showing
1 - 4
results of
4
for search '
Tobias Walter
'
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Shelfmark
Author
Title
1
One quantifier alternation in first-order logic with modular predicates
by
Manfred Kufleitner
,
Tobias
Walter
Published 2015
Get full text
Default
Article
Save to List
Saved in:
2
Level Two of the quantifier alternation hierarchy over infinite words
by
Manfred Kufleitner
,
Tobias
Walter
Published 2017
Get full text
Default
Article
Save to List
Saved in:
3
Level two of the quantifier alternation hierarchy over infinite words
by
Manfred Kufleitner
,
Tobias
Walter
Published 2016
Get full text
Default
Conference proceeding
Save to List
Saved in:
4
Regular languages are Church-Rosser congruential
by
Volker Diekert
,
Manfred Kufleitner
,
Klaus Reinhardt
,
Tobias
Walter
Published 2015
Get full text
Default
Article
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
© 2017 Loughborough University. All rights reserved.
Loading...