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]

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]

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]

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]

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