Login / Signup
Closure and decidability properties of some language classes with respect to ciliate bio-operations.
Mark Daley
Oscar H. Ibarra
Lila Kari
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
algebraic operations
formal language
programming language
description logics
closure properties
type checking
database
natural language
multi class
logic programs
object oriented data models
machine learning
modeling language
abstract data types