Concepedia
Scholarworks (University of Massachusetts Amherst) · 1989 · 395 citations · 0 references
Open access
ComputingComputer ScienceProgramming LanguagesSemanticsSyntaxContext DependencePredicate LogicGeneralized QuantifiersQuantifier Domain RestrictionQuantifier HandlingQuantifier Semantics