Generalized quantifiers for simple properties
Otto, Martin
(1994) [Contribution to a conference proceedings]
Proc. 9. IEEE Sympos. on Log. Comput. Sci. Paris, Frankreich 1994
Page(s): 30-39
Identifier
- DOI: 10.1109/LICS.1994.316089
- REPORT NUMBER: RWTH-CONV-193479