Some Models and Semi-decidability Notions of Applicative Theories

Rosebrock, Timotej Alexander (2018). Some Models and Semi-decidability Notions of Applicative Theories (Unpublished). (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)

[img] Text
rose18.pdf - Other
Restricted to registered users only
Available under License BORIS Standard License.

Download (1MB)

Item Type:

Thesis (Dissertation)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Rosebrock, Timotej Alexander, Jäger, Gerhard Max, Sato, Kentaro

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

28 Jan 2019 10:45

Last Modified:

05 Dec 2022 15:24

BORIS DOI:

10.7892/boris.123307

URI:

https://boris.unibe.ch/id/eprint/123307

Actions (login required)

Edit item Edit item
Provide Feedback