Concepedia

R. Marı́n Morales

RM

1

Publications

23

Citations

1

H-Index

2001

Active since

Affiliations

Universidad de Murcia(Current)

R. Marı́n Morales is an author at Universidad de Murcia specializing in automated reasoning, formal methods, and formal verification.

Top concepts

Publications per year

2001–2001

1

Publications

1

Fuzzy temporal constraint logic: a valid resolution principle

M.A. Cárdenas Viedma, R. Marı́n Morales, Ivonne Sánchez · Fuzzy Sets and Systems · 2001 · 23 citations

, , +7

Rows per page

1–1 of 1