scientific article; zbMATH DE number 3445174

zbMath0283.94020MaRDI QIDQ4770338

Tomas Havranek

Publication date: 1974

Full work available at URL: https://eudml.org/doc/27684

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Classical propositional logic (03B05)

Related Items (1)

Probabilistic automata

Cites Work

• Unnamed Item
• Unnamed Item
• Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson
• Method for Solving the Korteweg-deVries Equation
• Numerical solution of initial boundary value problems involving maxwell's equations in isotropic media
• Irreversibility and Heat Generation in the Computing Process
• Cavitation in Valve-Controlled Hydraulic Actuators

This page was built for publication: