Global Development via Local Observational Construction Steps
Publication info
Publication type
Publication in a journal
Publication kind
Article
Publication title
Global Development via Local Observational Construction Steps
Web URL
Journal title
LECTURE NOTES IN COMPUTER SCIENCE
Media type
Volume
2420
Book
Publication year
2002
From page
1
To page
24
Publication number
Publication language
English
Ethnic language of studied culture
Range
international
Report year
2002
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
]