Peter Borovansky

Comenius University in Bratislava - Bratislava / Slovakia

Engineering & Technology / Computer Science

AD Scientific Index ID: 1240669

Univerzita Komenského v Bratislave

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Comenius University in Bratislava

Peter Borovansky's MOST POPULAR ARTICLES

1-) An overview of ELAN Electronic Notes in Theoretical Computer Science 15, 55-70, 1998

2-) ELAN: A logical framework based on computational systems Electronic Notes in Theoretical Computer Science 4, 35-50, 1996

3-) ELAN from a rewriting logic point of view Theoretical Computer Science 285 (2), 155-185, 2002

4-) REWRITING WITH STRATEGIES IN : A FUNCTIONAL SEMANTICS International Journal of Foundations of Computer Science 12 (01), 69-95, 2001

5-) Controlling rewriting by rewriting Electronic Notes in Theoretical Computer Science 4, 169-189, 1996

ARTICLES

Add your articles