The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Larisa Maksimova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Larisa Maksimova
    Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:349-363 [Conf]
  2. Larisa Maksimova
    Restricted Interpolation in Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:297-312 [Conf]
  3. Larisa Maksimova
    Interpolation and Joint Consistency. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:293-306 [Conf]
  4. Larisa Maksimova, Andrei Voronkov
    Complexity of Some Problems in Modal and Intuitionistic Calculi. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:397-412 [Conf]
  5. Larisa Maksimova
    Intuitionistic logic and implicit definability. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:105, n:1-3, pp:83-102 [Journal]
  6. Larisa Maksimova
    On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:107-119 [Journal]
  7. Larisa Maksimova
    Strongly Decidable Properties of Modal and Intuitionistic Calculi. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
  8. Larisa Maksimova
    Temporal logics of "the next" do not have the Beth property. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:1, n:1, pp:- [Journal]
  9. Larisa Maksimova
    Complexity of Interpolation and Related Problems in Positive Calculi. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:397-408 [Journal]
  10. Larisa Maksimova
    Definability and Interpolation in Non-Classical Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:2, pp:271-291 [Journal]
  11. Larisa Maksimova
    On variable separation in modal and superintuitionistic logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:99-112 [Journal]
  12. Larisa Maksimova
    Complexity of some problems in positive and related calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:303, pp:171-185 [Journal]

Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002