Funder
Coalgebraic Modeling and Analysis for Computational Synthetic Biology
Centro de Investigação e Desenvolvimento em Matemática e Aplicações
Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference44 articles.
1. Anand V, Carroll AE, Biondich PG, Dugan TM, Downs SM (2018) Pediatric decision support using adapted arden syntax. Artif Intell Med 92:15–23
2. Behounek L (2008) Modeling costs of program runs in fuzzified propositional dynamic logic. In: Hakl F (ed) Doktorandské dny 08. ICS AS CR and Matfyzpress, pp 6–14
3. Blok WJ, Ferreirim I (2000) On the structure of hoops. Algebra Univ 43:233–257
4. Bou F, Esteva F, Godo L, Rodríguez R (2011) On the minimum many-valued modal logic over a finite residuated lattice. J Logic Comput 21:739–790
5. Caicedo X, Rodriguez R (2010) Standard Gödel modal logics. Stud Logica 94:189–214
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献