Benjamin G. Rin

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 6

Top Topics

Propositional Variables

Satisfiability Testing

Mazurkiewicz Traces

Action Theories

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

Publications

Marnix Deurloo, Mitchell Donkers, Mieke Maarse, Benjamin G. Rin, Karen Schutte
Hamiltonian Paths and Cycles in NP-Complete Puzzles. FUN (2024)
Benjamin G. Rin, Atze Schipper
Arimaa Is PSPACE-Hard. FUN (2024)
Merlin Carl, Benjamin G. Rin, Philipp Schlicht
Reachability for infinite time Turing machines with long tapes. Log. Methods Comput. Sci. 16 (2) (2020)
Merlin Carl, Benjamin G. Rin, Philipp Schlicht
Writability and reachability for alpha-tape infinite time Turing machines. CoRR (2018)
Merlin Carl, Benedikt Löwe, Benjamin G. Rin
Koepke Machines and Satisfiability for Infinitary Propositional Languages. CiE (2017)
Benjamin G. Rin, Sean Walsh
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. Rev. Symb. Log. 9 (4) (2016)
Benjamin G. Rin
Transfinite recursion and computation in the iterative conception of set. Synth. 192 (8) (2015)
Benjamin G. Rin
The computational strengths of α-tape infinite time Turing machines. Ann. Pure Appl. Log. 165 (9) (2014)
Allen P. Hazen, Benjamin G. Rin, Kai Frederick Wehmeier
Actuality in Propositional Modal Logic. Stud Logica 101 (3) (2013)