Przejdź do menu głównegoPrzejdź do wyszukiwarkiPrzejdź do zawartości
Logo DigiLab - Sterownia Agregatora Dorobku Naukowego
  • Strona główna
  • A context-based approach to proving termination of evaluation

Opis

  • Tytuł: A context-based approach to proving termination of evaluation
  • Tytuł czasopisma: Electronic Notes in Theoretical Computer Science
  • Twórca: Biernacka, Małgorzata ; Biernacki, Dariusz
  • Strony: s. 169-192
  • Opis: Ref. ; Proceedings of the 25th Conference on the Mathematical Foundations of Programming Semantics (MFPS 25), Oxford, UK, 3-7 April 2009. ; Abstr.
  • Język Abstraktu: eng
  • Data wydania: 2009
  • Typ: Tekst
  • Język publikacji: eng
  • Wersja Cyfrowa: http://tinyurl.com/24j8ec5
  • Szczegółowy typ obiektu: art
  • Typ obiektu: Artykuł
  • Tom/Wolumen/Zeszyt: Vol. 249 (2009)

Agregator Dorobku Naukowego Uniwersytetu Wrocławskiego, tworzony jest przez Bibliotekę Uniwersytecką we Wrocławiu

Program Operacyjny Polska Cyfrowa
Rzeczpospolita Polska
Europejski Fundusz Rozwoju Regionalnego Unii Europejskiej
Biblioteka Uniwersytecka we Wrocławiu
Uniwersytet Wrocławski

Projekt pn. "Workflow do opracowania publikacji cyfrowych na uczelni" współfinansowany przez Unię Europejską z Europejskiego Funduszu Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności