Concepedia

Roger Bosch

RB

3

Publications

116

Citations

3

H-Index

2003

Active since

Affiliations

Universidad de Oviedo(Current)

Universitat de Barcelona

Institució Catalana de Recerca i Estudis Avançats

Roger Bosch is an author at Universidad de Oviedo specializing in automated reasoning, formal logic, and epistemology.

Top concepts

Publications per year

2003–2004

3

Publications

3

Proceedings of the 12th International Congress of Logic Methodology and Philosophy of Science

Leilani X. Alvarez, Roger Bosch, Lorena Villamil · Data Archiving and Networked Services (DANS) · 2003 · 92 citations

, , +7

Solovay models and forcing extensions

Joan Bagaria, Roger Bosch · Journal of Symbolic Logic · 2004 · 13 citations

, , +5

Proper forcing extensions and Solovay models

Joan Bagaria, Roger Bosch · Archive for Mathematical Logic · 2004 · 11 citations

, , +1

Rows per page

1–3 of 3