FFACT : a fix-based domain-specific language based on a Functional Algebra for Continuous Time Modeling
Saved in:
| Main Author: | |
|---|---|
| Publication Date: | 2025 |
| Format: | Master thesis |
| Language: | por |
| Source: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/53194 |
Summary: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, Programa de Pós-Graduação em Informática, 2025. |
Similar Items: FFACT : a fix-based domain-specific language based on a Functional Algebra for Continuous Time Modeling
- Fixed-point constraints for nominal equational unification
- Multiplicidade global de soluções positivas de um sistema elíptico semilinear via métodos topológicos
- Desunificação nominal via restrições de ponto fixo
- Nominal equational problems modulo associativity, commutativity and associativity-commutativity
- Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
- Soluções de sistemas elípticos sem estrutura variacional via ponto fixo em cones