|
Search the dblp DataBase
L. Bernátsky:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- L. Bernátsky
Regular Expression Star-Freeness is PSPACE-Complete. [Citation Graph (0, 0)][DBLP] Acta Cybern., 1997, v:13, n:1, pp:1-22 [Journal]
- Zoltán Ésik, L. Bernátsky
Scott induction and equational proofs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
- L. Bernátsky, Zoltán Ésik
Semantics on Flowchart Programs and the Free Conway Theories. [Citation Graph (0, 0)][DBLP] ITA, 1998, v:32, n:1-3, pp:35-78 [Journal]
- Zoltán Ésik, L. Bernátsky
Equational Properties of Kleene Algebras of Relations with Conversion. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:137, n:2, pp:237-251 [Journal]
Search in 0.001secs, Finished in 0.001secs
|