Kathi D. Fisler (fisler)

Contributions to Philosophie.ch

Bibliography

Fisler, Kathi D. 1996. “Exploiting the Potential of Diagrams in Guiding Hardware Reasoning.” in Logical Reasoning with Diagrams, edited by Gerard Allwein and Jon K. Barwise, pp. 225–255. Oxford: Oxford University Press.
Fisler, Kathi D. 1999. “Timing Diagrams: Formalization and Algorithmic Verification.” Journal of Logic, Language, and Information 8(3): 323–361.