L | |
---|---|
[LSW01] | Carsten Lutz,
Ulrike Sattler, and
Frank Wolter.
Modal Logic and the Two-Variable Fragment.
In CSL'01,
Lecture Notes in Computer Science 2142, pages 247-261. Springer-Verlag, September 2001.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1