Preview
Unable to display preview. Download preview PDF.
References
Chandra A., Halpern I., Mayer A., Parikh R., Equations between regular terms and an application to process logic Annual ACM Symp. on Theory of Computing, 1981, pp.384â390.
HabasiĆski Z., Process logics: two decidability results, MFCA 1984, Lecture Notes in CS 176, pp.282â290
Harel D., Kozen D., Parikh R., Process Logic: expresiveness, decidability, completeness, J. of Comp. and System. Sci., vol.25, 1982, pp.144â170.
Landweber P., Decision problems of phrase structure grammars, IEEE Trans, Electronic Comput. vol 13, N4, 1964, 354â362.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Knast, R. (1985). Propositional calculi of term satisfiability and process logics. In: Skowron, A. (eds) Computation Theory. SCT 1984. Lecture Notes in Computer Science, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16066-3_12
Download citation
DOI: https://doi.org/10.1007/3-540-16066-3_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16066-3
Online ISBN: 978-3-540-39748-9
eBook Packages: Springer Book Archive