| |
L. A. Chagrova
List of publications from the DBLP Bibliography Server - FAQ
| 2006 | ||
|---|---|---|
| 4 | EE | Alexander V. Chagrov, Lilia Chagrova: The Truth About Algorithmic Problems in Correspondence Theory. Advances in Modal Logic 2006: 121-138 |
| 1995 | ||
| 3 | Dick De Jongh, L. A. Chagrova: The Decidability of Dependency in Intuitionistic Propositional Logic. J. Symb. Log. 60(2): 498-504 (1995) | |
| 2 | Alexander V. Chagrov, L. A. Chagrova: Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Studia Logica 55(3): 421-448 (1995) | |
| 1991 | ||
| 1 | L. A. Chagrova: An Undecidable Problem in Correspondence Theory. J. Symb. Log. 56(4): 1261-1272 (1991) | |
| 1 | Alexander V. Chagrov | [2] [4] |
| 2 | Dick De Jongh | [3] |