Search filters

List of works by P. Madhusudan

A First-order Logic with Frames

scientific article published on 09 February 2023

Complete First-Order Reasoning for Properties of Functional Programs

scientific article published on 16 October 2023

Languages with Decidable Learning: A Meta-theorem

scientific article published in 2023

Learning formulas in finite variable logics

scientific article published in 2022

Synthesizing axiomatizations using logic learning

scientific article published on 31 October 2022

Paulina is supported by:

About Paulina

Help