L. Bernátsky

According to our database¹, L. Bernátsky authored at least 4 papers between 1995 and 1998.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1998

Semantics on Flowchart Programs and the Free Conway Theories.

[DOI]

RAIRO Theor. Informatics Appl., 1998

1997

Regular Expression Star-Freeness is PSPACE-Complete.

[DOI]

Acta Cybern., 1997

1995

Equational Properties of Kleene Algebras of Relations with Conversion.

[DOI]

Theor. Comput. Sci., 1995

Scott induction and equational proofs.

[DOI]

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995