ák

ON APPLYING STOCHASTIC PROBLEMS IN HIGHER-ORDER THEORIES

Valerie Novitzká, Viliam Slodi, ák, 2007 .

Compiling the Process Functional Programs

J. Kollár, J. Porubän, Peter Václavík, 2005 .

LINEAR LOGICAL REASONING ON PROGRAMMING

Valerie NOVITZKÁ, Daniel MIHÁLYI, Viliam SLODI, 2006 .