Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Theoretische Informatik
Refine
Author
Meer, Klaus
(2)
Baartse, Martijn
(1)
Naif, Ameen
(1)
Year of publication
2016 (4)
(remove)
Document Type
Conference Proceeding
(2)
Periodical
(2)
Language
English
(4)
Institute
FG Theoretische Informatik
(4)
BTU
an der BTU erstellt / created at BTU
(4)
4
search hits
1
to
4
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Real Interactive Proofs for VPSPACE
(2016)
Baartse, Martijn
;
Meer, Klaus
Periodic Generalized Automata over the Reals
(2016)
Meer, Klaus
;
Naif, Ameen
Journal of Complexity
(2016)
Mathematical Logic Quarterly
(2016)
1
to
4
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.