Robert Paßmann

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Cut Elimination

Interval Valued

Algebraic Geometry

Top Venues

Ann. Pure Appl. Log.

Publications

Robert Paßmann
The First-order Logic of CZF is intuitionistic First-order Logic. J. Symb. Log. 89 (1) (2024)
Merlin Carl, Lorenzo Galeotti, Robert Paßmann
Realisability for infinitary intuitionistic set theory. Ann. Pure Appl. Log. 174 (6) (2023)
Benno van den Berg, Robert Paßmann
Converse extensionality and apartness. Log. Methods Comput. Sci. 18 (4) (2022)
Benno van den Berg, Robert Paßmann
Converse extensionality and apartness. CoRR (2021)
Rosalie Iemhoff, Robert Paßmann
Logics of intuitionistic Kripke-Platek set theory. Ann. Pure Appl. Log. 172 (10) (2021)
Merlin Carl, Lorenzo Galeotti, Robert Paßmann
Randomising Realizability. CiE (2021)
Robert Paßmann
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. CSL (2020)
Martin Potthast, Sarah Braun, Tolga Buz, Fabian Duffhauss, Florian Friedrich, Jörg Marvin Gülzow, Jakob Köhler, Winfried Lötzsch, Fabian Müller, Maike Elisa Müller, Robert Paßmann, Bernhard Reinke, Lucas Rettenmeier, Thomas Rometsch, Timo Sommer, Michael Träger, Sebastian Wilhelm, Benno Stein, Efstathios Stamatatos, Matthias Hagen
Who Wrote the Web? Revisiting Influential Author Identification Research Applicable to Information Retrieval. ECIR (2016)