| | |
L. A. Chagrova
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 4 |      | 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 (Dick De Jongh) | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page