Concepedia

Mario Rodríguez-Artalejo

MR

16

Publications

634

Citations

13

H-Index

1991

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Mario Rodríguez-Artalejo is an author at Universidad Complutense de Madrid specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceLogic ProgrammingFormal VerificationProgram AnalysisProgramming LanguagesSoftware AnalysisAnswer Set Programming

Publications per year

1991–2010

16

Publications

16

An approach to declarative programming based on a rewriting logic

Juan Carlos González Moreno, M.Teresa Hortalá-González, Francisco J. López-Fraguas et al. · The Journal of Logic Programming · 1999 · 189 citations

Declarative Programming, Engineering, Program Analysis +10

Logic programming with functions and predicates: The language Babel

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo · The Journal of Logic Programming · 1992 · 163 citations

Engineering, Automated Reasoning, Formal Methods +7

Polymorphic Types in Functional Logic Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo · Journal of functional and logic programming · 2001 · 42 citations

Polymorphic Types, Engineering, Lazy Narrowing +16

Quantitative logic programming revisited

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz · International Symposium on Functional and Logic Programming · 2008 · 34 citations

Applied Logic, Computational Logic, Engineering +5

A Declarative Debugging System for Lazy Functional Logic Programs

Rafael Caballero, Mario Rodríguez-Artalejo · Electronic Notes in Theoretical Computer Science · 2002 · 29 citations · Full text

Polymorphic Type Discipline, Engineering, Declarative Debugging System +16

Rows per page

1–5 of 16