Marco Bellia - Concepedia

Concepedia

Author

Marco Bellia

Also Known As

Marco Bellia

64

Publications

269

Citations

8

H-Index

12

Concepts

MB

About

Marco Bellia is an author specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	189
2	Language Studies	4	4	165
3	Linguistics	4	4	165
4	Semantics	4	4	165
5	Computer Science	2	2	34

Marco Bellia

×

5

Publications

189

Citations

5

H-Index

	Year	Citations
The relation between logic and functional languages: a survey Marco Bellia, Giorgio Levi The Journal of Logic Programming Non-classical LogicFunctional LanguagesEngineeringOperational SemanticsAutomated Reasoning	1986	97
LEAF: A Language which Integrates Logic, Equations and Functions. Roberto Barbuti, Marco Bellia, Giorgio Levi, CINECA IRIS Institutial research information system (University of Pisa) EngineeringAutomated ReasoningFormal MethodsEquational LogicLanguage Studies	1986	43
On the Integration of Logic Programming and Functional Programming Roberto Barbuti, Marco Bellia, Giorgio Levi, Nordisk medicin Applied LogicEngineeringAutomated ReasoningFormal MethodsComputer Science	1984	24
The call-by-name semantics of a clause language with functions Marco Bellia, Pierpaolo Degano, Giorgio Levi CINECA IRIS Institutial research information system (University of Pisa) Formal SemanticsSyntaxEngineeringOperational SemanticsAutomated Reasoning	1982	15
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Marco Bellia, E Dameri, Pierpaolo Degano, Lazy ImplementationsProlog-compatible Functional LanguageEngineeringAutomated ReasoningDependently Typed Programming	1984	10

Page 1