Some Models and Semi-decidability Notions of Applicative Theories
Options
BORIS DOI
Date of Publication
2018
Theses Type
dissertation
Language(s)
en
Author(s)
Faculty/Graduate School
Institute
Philosophisch-naturwissenschaftliche Fakultät
Institut für Informatik und angewandte Mathematik
Access(Rights)
restricted
Primary OA Publication
false