Generalized quantifiers for simple properties

(1994) [Beitrag zu einem Tagungsband]

Proc. 9. IEEE Sympos. on Log. Comput. Sci. Paris, Frankreich 1994
Seite(n): 30-39

Autorinnen und Autoren

Autorinnen und Autoren

Otto, Martin

Identifikationsnummern