Robert Paßmann

Orcid: 0000-0002-7170-3286

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The First-order Logic of CZF is intuitionistic First-order Logic.
J. Symb. Log., 2024

2023
Realisability for infinitary intuitionistic set theory.
Ann. Pure Appl. Log., June, 2023

2022
Converse extensionality and apartness.
Log. Methods Comput. Sci., 2022

2021
Logics of intuitionistic Kripke-Platek set theory.
Ann. Pure Appl. Log., 2021

Randomising Realizability.
Proceedings of the Connecting with Computability, 2021

2020
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory.
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.
Proceedings of the Advances in Information Retrieval, 2016


  Loading...