Concepedia

João Rasga

JR

Statistics

Publications

9

Citations

175

H-Index

9

Active since

2002

Affiliations

Universidade Estadual de Campinas (UNICAMP)(Current)

Instituto de Telecomunicações

University of Lisbon

Instituto Superior Técnico

João Rasga is an author at Universidade Estadual de Campinas (UNICAMP) specializing in computer science, logic, and model theory.

ORCID

Publications per year

2002–2017

9

Publications

9

Modulated fibring and the collapsing problem

Cristina Sernadas, João Rasga, Walter Carnielli · Journal of Symbolic Logic · 2002 · 51 citations · Full text

, , +9

Fibring Labelled Deduction Systems

João Rasga · Journal of Logic and Computation · 2002 · 26 citations

, , +11

Many-Sorted Equivalence of Shiny and Strongly Polite Theories

Filipe Casal, João Rasga · Journal of Automated Reasoning · 2017 · 17 citations

, , +5

Preservation of Interpolation Features by Fibring

Walter Carnielli, João Rasga, Cristina Sernadas · Journal of Logic and Computation · 2007 · 16 citations

, , +13

On meet-combination of logics

Amı́lcar Sernadas, Cristina Sernadas, João Rasga · Journal of Logic and Computation · 2011 · 16 citations

, , +11

1–5 of 9