| [#IT] | [2 REPRESENTING] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [29750] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [2-VALUED] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [3 KQML] | [ABW88] | [APPROACH EASILY] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [BASICALLY AVAILABLE] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [BETTER-DENOTATIONAL] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [BOU92] | [CLEAR OPERATIONAL] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [CODES VALUE] | [CODES VERSUS] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [COMMON SYNTAX] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [COMPLETE FORMAL] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [COMPOSITIONAL] | [CONCEPTUAL-ROLE] | [CP-DEMANGLE] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ['CVS] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [D PLOTKIN] | [DECLARATIVE] | [DENOT] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [DENOTATION] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [DENOTATION AL] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [DENOTATIONAL] | [-DENOTATIONAL] | [DISJUNCTIVE] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [D-WFS] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [EXCESSIVE PAY] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [FACTORY DOMAIN] | [FAILURE] | [-FENG] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [FINAL COALGEBRA] | [FIT85] | [FIXPOINT] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [FORMAL] | [FORMAL OPERATIONAL] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [-FOUNDED] | [FOUR-VALUED] | [FUNCTORIAL] | [FUNDAMENTA] | [GDSOS] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [GENERAL LOGIC] | [GENERATIVE] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [GIVE OPERATIONAL] | [INHERITANCE LUCA] | [INITIAL ALGEBRA] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [INTERLEAVING] | [J VAN] | [JVML0] | [KIF'S] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [KLEENE'S] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [KOHEI HONDA] | [KRIPKE] | [KRIPKE-KLEENE] | [LANGUAGE] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [LANGUAGE DESIGN] | [LAZINESS] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [LEADS PRECISELY] | [LEEUWEN ED] | [LEXICAL] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [LINGUISTICS SEMANTICS] | [LOGIC] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [LOGIC PROGRAMMING] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [LOGIC PROGRAMS] | [LOGIC-MODEL] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [MASQUERADE_DOMAINS] | [MINIMAL RECURSION] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [MK96] | [MODELTHEORETIC] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [MODEL-THEORETIC] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [MONTAGUE GRAMMAR] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [MORPHOLOGY SYNTAX] | [NINFS] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [NONINFLATIONARY] | [NON-INTERLEAVING] | [NORTH -HOLLAND] | [OPERATION AL] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [OPERATIONAL] | [OPERATONAL] | [PARTIALLY-TYPED] | [PAY VERSUS] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [PERFECT MODEL] | [PLOTKIN 1981] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [POLL 2] | [POSSIBLE-WORLD] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [POSSIBLE-WORLDS] | [PP88] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [PRAGMATICS] | [PRAGMATICS GETTING] | [PRZ89A] | [PSYCHOLINGUISTICS] | [PURE ESTEREL] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [RECALL PHONETICS] | [RECURSION] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [REDUCTION-BASED] | [-SEM] | [SEMANTICS] | [SMALL-STEP] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [SPECIFICATION-ORIENTED] | [STABLE] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STABLE MODEL] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STABLE-MODEL] | [STARTGEN] | [STATECHART] | [STATECHARTS] | [STATECHARTS DAVID] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STATEMATE] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STATEXT] | [STATIC] | [STO77] | [STORY UNDERSTANDING] | [STOY] | [STRACHEY] | [STRATIFI] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STRATIFIED] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STRUCTURAL APPROACH] | [STRUCTURAL OPERATIONAL] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STRUCTURED] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [STRUCTURED OPERATIONAL] | [SUCH EXTENDED] | [SYNTACTICS] | [SYNTAX] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [SYNTAX MORPHOLOGY] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [SYNTAX OPERATIONAL] | [TARSKIAN] | [THIS OPERATIONAL] | [THREAD-SCHEDULING] | [THREE-VALUED] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [TRADITIONAL DECLARATIVE] | [TSP6] | [TURI] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [TYPE-ERASURE] | [UML] | [UNTYPED] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [USING KLEENE'S] | [USING PREDICATES] | [VERSUS TOWN] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [VERY NAVE] | [VIEW LEAD] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [WAR89] | [WEBSQL USING] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [WELL FOUNDED] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [WELL- FOUNDED] | [WELLFOUNDED] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| [WELL-FOUNDED] | [WFS] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| __ | __ | __ | __ | __ | ____ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | ______ | __ | ____ | __ | ____ | ____ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | ____ | __ | __ | __ | __ | __ | ____ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | __ | |