José Siqueira

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 1

Top Topics

Top Venues

Ann. Pure Appl. Log.

Publications

José Siqueira
Nonstandard proof methods in toposes. Ann. Pure Appl. Log. 175 (5) (2024)
Tim Mansfield, Markus Rittenbruch, Luke Cole, José Siqueira
The Nexus information hub for exploring social-informational context. ADCS (2002)
Tim Mansfield, Nigel Ward, Markus Rittenbruch, Gregor McEwan, José Siqueira, Anthony Wilkinson
Sharing Social Recommendations: Towards a Social Portal. DCW (2002)