Tag Archives: Domain Theory

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, Non-classical Logics, The use of Computers in Education | Tagged , , , , , , , , | Comments Off