A simple proof of undecidability of strong normalization

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiA simple proof of undecidability of strong normalization
Adres internetowy
Tytuł czasopismaMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Medium
Tom13
Zeszyt
Rok wydania2003
Od strony5
Do strony13
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2003

Lista autorów
  
 1. Paweł Urzyczyn, Zakład Logiki Stosowanej [Współautor]