Benjamin G. Rin

Available identifiers

zbMath Open rin.benjamin-gMaRDI QIDQ2011651

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5109524	2020-05-12	Paper
Reachability for infinite time Turing machines with long tapes	2018-02-15	Paper
Koepke machines and satisfiability for infinitary propositional languages	2017-08-04	Paper
Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction	2017-05-31	Paper
Transfinite recursion and computation in the iterative conception of set	2017-02-14	Paper
The computational strengths of \(\alpha\)-tape infinite time Turing machines	2014-06-06	Paper
Actuality in propositional modal logic	2013-06-27	Paper

Research outcomes over time

This page was built for person: Benjamin G. Rin