Publisher
Springer International Publishing
Reference24 articles.
1. Baltag, A., Smets, S.: The dynamic turn in quantum logic. Synthese 186(3), 753–773 (2012)
2. Cingolani, P., Alcalá-Fdez, J.: jFuzzylogic: a Java library to design fuzzy logic controllers according to the standard for fuzzy control programming. Int. J. Comput. Intell. Syst. 6(sup1), 61–75 (2013)
3. Conway, J.: Regular Algebra and Finite Machines. Dover Publications, New York (1971)
4. den Hartog, J., de Vink, E.P.: Verifying probabilistic programs using a Hoare like logic. Int. J. Found. Comput. Sci. 13(3), 315–340 (2002)
5. den Hartog, J.I.: Probabilistic extensions of semantical models. Ph.D. thesis, Vrije Universiteit, Vrije (2002)