12
Publications
510
Citations
11
H-Index
1998
Active since
Joan Gispert is an author at Universitat de Barcelona specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsRepresentation TheoryFuzzy LogicFuzzy SystemsComputer ScienceFuzzy Natural Language Processing
Publications per year
1998–2012
12
12
Petr Cintula, Francesc Esteva, Joan Gispert et al. · Annals of Pure and Applied Logic · 2009 · 111 citations
On Some Varieties of MTL-algebras
Carles Noguera, Francesc Esteva, Joan Gispert · Logic Journal of IGPL · 2005 · 49 citations · Full text
Rows per page
1–5 of 12