Zoltán Somogyi
Károli Gáspár University of the Reformed Church in Hungary(HU)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Distributed systems and fault tolerance, Logic, Reasoning, and Knowledge
Most-Cited Works
- → The execution algorithm of mercury, an efficient purely declarative logic programming language(1996)332 cited
- Generic methodologies applicable to multiple land-use categories(2019)
- → The aditi deductive database system(1994)64 cited
- → Die coulometrische Analyse als Präzisionsmethode. I(1938)55 cited
- → Termination analysis for Mercury(1997)47 cited
- Right-, left- and multi-linear rule transformations that maintain context information(1990)
- → The G12 Project: Mapping Solver Independent Models to Efficient Solutions(2005)34 cited
- → Tabling in Mercury: Design and Implementation(2005)27 cited