2 papers
cs.LO2014
Eine entscheidbare Klasse n-stelliger Horn-Prädikate
Jochen Burghardt
Similar to a tree grammar, a Horn theory can be used to describe an infinite set of terms. In this paper, we present a class of Horn theories such that the set of definable predica…
cs.LO2014
Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
Jochen Burghardt
Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal langu…