| M. Otto, Generalized Quantifiers for Simple Properties, Proceedings of IEEE Symposium on Logic in Computer Science (1994), 30--39. |
No context found.
M. Otto, Generalized Quantifiers for Simple Properties, Proceedings of IEEE Symposium on Logic in Computer Science (1994), 30--39.
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