Articole cu acelaşi autor

Pentru autorul curent, in partea a doua a paginii sunt înşirate toate articolele în care acesta este autor şi/sau coautor. Prin selectarea titlului articolului, vor apărea date privind ediţia în care acesta a apărut, precum si rezumatul.

 
           
         
    Detalii autor  
           
  Nume autor:   VALERIE NOVITZKÁ    
    Technical University of Košice, Valerie.Novitzka@tuke.sk    
           
  21-12-2024     
      
 
    Articole cu acelaşi autor  
         
 
1.  DEPENDENT TYPES IN MATHEMATICAL THEORY OF PROGRAMMING.
          Autori: VALERIE NOVITZKÁ, ANITA VERBOVÁ.

2.  COALGEBRAIC APPROACH FOR PROGRAM BEHAVIOR IN COMONADS OVER TOPOSES.
          Autori: VALERIE NOVITZKÁ.

3.  PRINCIPLES OF ACTION SEMANTICS FOR FUNCTIONAL PROGRAMMING LANGUAGES.
          Autori: VALERIE NOVITZKÁ.

4.  NETWORK ROUTING MODELLED BY GAME SEMANTICS.
          Autori: VALERIE NOVITZKÁ, PETER PRAZŇÁK.

 
         
     
         
           
    Revenire la pagina precedentă