Jan Małuszyński

Relating logic programs and attribute grammars

Pierre Deransart, Jan Małuszyński · The Journal of Logic Programming · 1985 · 106 citations

Syntax, Engineering, Automated Reasoning +8

Inductive assertion method for logic programs

Włodzimierz Drabent, Jan Małuszyński · Theoretical Computer Science · 1988 · 74 citations

Engineering, Automated Reasoning, Verification +7

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Francisco Bueno, Pierre Deransart, Włodzimierz Drabent et al. · 1997 · 64 citations

Applied Logic, Computational Logic, Contraint Logic Programs +10

On the role of semantic approximations in validation and diagnosis of constraint logic programs

Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations

Constraint Solving, Engineering, Constraint Satisfaction +12

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.

Piotr Dembiński, Jan Małuszyński · SLP · 1985 · 57 citations

Computational Logic, Engineering, Program Analysis +6