Items where Author is "Chagrov, A.V."

Group by: Item Type | No Grouping
Number of items: 1.

ML-1993-07: Chagrov, A.V. and Chagrova, L.A. (1993) Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames. [Report]

This list was generated on Sun Dec 22 00:30:32 2024 CET.