Finite state relational programs

DOI10.1007/BF00289577zbMath0494.68018OpenAlexW2075419748MaRDI QIDQ1169287

Giora Slutzki

Publication date: 1983

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00289577

zbMATH Keywords

logical analysis of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Automatic Programming of Finite State Linear Programs
• The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines

This page was built for publication: Finite state relational programs