C. Casadio has written:

'Computational algebraic approaches to natural language' -- subject(s): Comparative and general Grammar, Language and logic, Computational linguistics, Mathematical linguistics, Grammar categories

'Interpretazione generica e metafora' -- subject(s): Genericalness (Linguistics), Metaphor

'Logic for grammar' -- subject(s): Categorial grammar, Formalization (Linguistics), Lambda calculus, Language and logic, Logic, Symbolic and mathematical, Mathematical linguistics, Semantics (Philosophy), Symbolic and mathematical Logic

Howard Straubing has written:

'Finite automata, formal logic, and circuit complexity' -- subject(s): Automata, Computational complexity, Computer science, Mathematics, Symbolic and mathematical Logic

Manfred Schmidt-Schauss has written:

'Computational aspects of an order-sorted logic with term declarations' -- subject(s): Sorting (Electronic computers), Symbolic and mathematical Logic

Steven Bird has written:

'Computational phonology' -- subject(s): Comparative and general Grammar, Computational linguistics, Constraints (Artificial intelligence), Data processing, Grammar, Comparative and general, Language and logic, Phonology

'The child witness within the criminal justice system'

Mauricio Karchmer has written:

'Communication complexity' -- subject(s): Automatic theorem proving, Boolean Algebra, Computational complexity, Logic circuits