From OBJ to ML to COQ

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiFrom OBJ to ML to COQ
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom4060
Zeszyt
Rok wydania2006
Od strony216
Do strony234
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2006

Lista autorów
  
 1. Jacek Chrz±szcz, Zakład Logiki Stosowanej [Współautor]
 2. Jean Jouannaud, Jednostka zewnetrzna [Współautor]