L. Bernátsky

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

Collaborative distances:

Timeline

1995

1996

1997

1998

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

Semantics on Flowchart Programs and the Free Conway Theories.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1998

1997

Regular Expression Star-Freeness is PSPACE-Complete.

[BibT_eX]

[DOI]

Acta Cybern., 1997

1995

Equational Properties of Kleene Algebras of Relations with Conversion.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Scott induction and equational proofs.

[BibT_eX]

[DOI]

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