Journals
Books
Articles by keyword rewriting system
Review and comparative analysis of methods of constructing terms in combinatory logic

R.V. Dushkin1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 rvdushkin@mephi.ru

Applicative language for constructing reduction strategies

I.O. Slieptsov¹, V.E. Wolfengagen²

¹LLC "JurInfoR" (Moscow, Russia)

²National Research Nuclear University MEPhI (Moscow, Russia)

¹igor.slieptsov@mail.com