
Recent Posts
Recent Comments
Archives
Categories
Meta
Tag Archives: Automated Reasoning
Welcome to LoLITA!
LoLITA is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications. Our interest areas include, among … Continue reading
Posted in Automata Theory, Automated Reasoning, Domain Theory, Formal Specifications, Fuzzy Logics, Interval Computations, Mathematical Morphology, Nonclassical Logics, The use of Computers in Education
Tagged Automata Theory, Automated Reasoning, Domain Theory, Formal Specifications, Fuzzy Logics, Interval Computations, Mathematical Morphology, Nonclassical Logics, The use of Computers in E1ducation
Leave a comment