L.A.Chagrova

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The truth about algorithmic problems in correspondence theory	2008-07-01	Paper
Demise of the algorithmic agenda in correspondence theory?	2008-01-17	Paper
scientific article; zbMATH DE number 2209455 (Why is no real title available?)	2005-09-28	Paper
scientific article; zbMATH DE number 2079273 (Why is no real title available?)	2004-07-22	Paper
scientific article; zbMATH DE number 1215462 (Why is no real title available?)	1999-04-27	Paper
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames Studia Logica	1996-08-27	Paper
The decidability of dependency in intuitionistic propositional logic Journal of Symbolic Logic	1996-05-02	Paper
An undecidable problem in correspondence theory Journal of Symbolic Logic	1992-06-27	Paper
scientific article; zbMATH DE number 4189692 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4187767 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4075020 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: L.A.Chagrova