Robert Paßmann

According to our database, Robert Paßmann authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The First-order Logic of CZF is intuitionistic First-order Logic.

Robert Paßmann

J. Symb. Log., 2024

2023

Realisability for infinitary intuitionistic set theory.

Merlin Carl, Lorenzo Galeotti, Robert Paßmann

Ann. Pure Appl. Log., June, 2023

2022

Converse extensionality and apartness.

Benno van den Berg, Robert Paßmann

Log. Methods Comput. Sci., 2022

2021

Logics of intuitionistic Kripke-Platek set theory.

Rosalie Iemhoff, Robert Paßmann

Ann. Pure Appl. Log., 2021

Randomising Realizability.

Merlin Carl, Lorenzo Galeotti, Robert Paßmann

Proceedings of the Connecting with Computability, 2021

2020

De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory.

Robert Paßmann

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2016

Who Wrote the Web? Revisiting Influential Author Identification Research Applicable to Information Retrieval.

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

Proceedings of the Advances in Information Retrieval, 2016