Concepedia
1
Publications
85
Citations
H-Index
1984
Active since
Octavio Cardona García is an author specializing in automated reasoning, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
1984–1984
The lattice of interpretability types of varieties
Octavio Cardona García, Walter Taylor · Memoirs of the American Mathematical Society · 1984 · 85 citations
Engineering, Automated Reasoning, Polymorphism (Computer Science) +5
Rows per page
1–1 of 1