/
User Settings
L

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

72

Papers

647

Citations

16

h-index

25

i10-index

Luis M. Laita is an academic researcher from Universidad Complutense de Madrid. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Logic, Reasoning, and Knowledge. The author has an h-index of 16, co-authored 62 publications.

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgePolynomial and algebraic computationSemantic Web and Ontologies

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat