L. Bernátsky

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Semantics on Flowchart Programs and the Free Conway Theories.
RAIRO Theor. Informatics Appl., 1998

1997
Regular Expression Star-Freeness is PSPACE-Complete.
Acta Cybern., 1997

1995
Equational Properties of Kleene Algebras of Relations with Conversion.
Theor. Comput. Sci., 1995

Scott induction and equational proofs.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995


  Loading...