Josep Maria Font is an author at Universitat de Barcelona specializing in automated reasoning, formal methods, and semantics.
Top concepts
Automated ReasoningSemanticsEngineeringFormal MethodsLanguageFuzzy LogicLinguisticsInformation RetrievalHistorical LinguisticsPhilosophy Of Language
Publications per year
1993–2014
7
7
A Survey of Abstract Algebraic Logic
Josep Maria Font, Ramón Jansana, Don Pigozzi · Studia Logica · 2003 · 256 citations
Belnap's Four-Valued Logic and De Morgan Lattices
Josep Maria Font · Logic Journal of IGPL · 1997 · 149 citations
The Clavicle Hook Plate for Neer Type II Lateral Clavicle Fractures
R J Renger, Gert R. Roukema, Jurrian C Reurings et al. · Journal of Orthopaedic Trauma · 2009 · 98 citations
Rows per page
1–5 of 7