String Variable Grammar: A Logic Grammar Formalism for the Biological Language of DNA.
David B. SearlsPublished in: J. Log. Program. (1995)
Keyphrases
- shape grammars
- grammar rules
- formal theory
- formal language
- modal operators
- representation language
- data structure
- programming language
- formal logic
- language processing
- natural language
- logical language
- highly expressive
- operational semantics
- logic programming
- predicate logic
- conceptual graphs
- regular expressions
- formal languages
- modal logic
- knowledge representation
- intuitionistic logic