Kamal Lodaya

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 11

Top Topics

First Order Logic

Satisfiability Problem

Abductive Reasoning

Top Venues

Bull. Symb. Log.

Trans. Petri Nets Other Model. Concurr.

Publications