Global Development via Local Observational Construction Steps

Publication info
  
Publication typePublication in a journal
Publication kindArticle
Publication titleGlobal Development via Local Observational Construction Steps
Web URL
Journal titleLECTURE NOTES IN COMPUTER SCIENCE
Media type
Volume2420
Book
Publication year2002
From page1
To page24
Publication number
Publication languageEnglish
Ethnic language of studied culture
Rangeinternational
Report year2002

Authors list
  
 1. M. Bidoit, External unit [Co-author]
 2. D. Sannella, External unit [Co-author]
 3. Andrzej Tarlecki, Zakład Logiki Stosowanej [Co-author]