Results 281 to 290 of about 4,399 (316)

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
, Yang Liu
exaly  

Review of "Algebraic and automata-theoretic properties of formal languages" by Seymour Ginsburg. North Holland, 1975.

SIGA, 1976
S. Eilenberg
semanticscholar   +1 more source

Formal Languages and Automata Theory

2023
openaire   +1 more source

Formal grammars in linguistics and psycholinguistics, vol. 1: An introduction to the theory of formal languages and automata (review)

, 2011
A. Joshi
semanticscholar   +1 more source

Two-Dimensional Formal Languages and Pattern Recognition by Cellular Automata

Scandinavian Workshop on Algorithm Theory, 1971
A. R. Smith
semanticscholar   +1 more source

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory

Language and Automata Theory and Applications, 2012
Gilles Dowek
semanticscholar   +1 more source

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

Observability of Boolean control networks: A unified approach based on the theories of finite automata and formal languages

Proceedings of the 33rd Chinese Control Conference, 2014
Zhang Kuize, Zhang Lijun
semanticscholar   +1 more source

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly