2 citations found. Retrieving documents...
M. Otto, Generalized Quantifiers for Simple Properties, Proceedings of IEEE Symposium on Logic in Computer Science (1994), 30--39.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Metafinite Model Theory - Erich Gradel Yuri (1995)   (1 citation)  (Correct)

No context found.

M. Otto, Generalized Quantifiers for Simple Properties, Proceedings of IEEE Symposium on Logic in Computer Science (1994), 30--39.


Metafinite Model Theory - Grädel, Gurevich (1997)   (1 citation)  (Correct)

No context found.

M. Otto, Generalized Quantifiers for Simple Properties, Proceedings of IEEE Symposium on Logic in Computer Science (1994), 30--39.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC