Lilia Chagrova (Selection)

L. A. Chagrova

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Dick De Jongh, L. A. Chagrova: The Decidability of Dependency in Intuitionistic Propositional Logic. J. Symb. Log. 60(2): 498-504 (1995)

Selection of 1 from 4 records - Lilia Chagrova has 2 coauthors