A Formal Model of Extended Finite State Machines

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361502FDO

Authors Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Publication date 7 September 2020

On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus

Cited in

(1)

Inference of Extended Finite State Machines

This page was built for software: A Formal Model of Extended Finite State Machines

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Formal_Model_of_Extended_Finite_State_Machines&oldid=105367925"