Voltar
Livro Acesso aberto Revisado por pares
BIBTEX RIS

Mathematical Foundations of Computer Science 1989

1989; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-51486-4

ISSN

1611-3349

Autores

D Barstow, W Brauer, P Brinch, Gries Luckham, Christoph Meier, Amir Pnueli, G Seegmciller, J Steer, N Wirth, Antoni Kreczmar, Gra yna Mirkowska, P Van Erode Boas, Rūsiņš Freivalds, T Aalbersberg, Emile Aarts, D. Ackermann, Egidio Astesiano, Paolo Atzeni, L Banachowski, Dario A. Bini, Ch Blaue, J Bta ewicz, Frits Boer, Andrzej M. Borzyszkowski, Gérard Boudol, H. Burkhard, K-H Buth, Bettina Buth, A Caprani, Ilaria Castellani, Bruno Courcelle, Bogdan S. Chlebus, Ludwik Czaja, Pierpaolo Degano, K. Diks, P Dfiri, Emanuela Fachini, R. Feldmann, Giorgio Gambosi, Wolfgang Goerigk, Ursula Goltz, Marcin Grabowski, J. De Groote, M. Hass, Leszek Holenderski, Hendrik Jan Hoogeboom, H Hun- Iv Gar, J Hromkovi, Peter Kandzia, B Kanger, A Kelemenov£, F Klulniak, Joost N. Kok, Beata Konikowska, Vácłav Koubek, Ron Koymans, Jens Knoop, Ivan Kramosil, M Kfiv£nek, Alberto Marchetti-Spaccamela, Mirko Křivánek, Maurizio Lenzerini, M Li kiewicz, A. I. Litwiniuk, Umile Giuseppe Longo, K Lory, Fabrizio Luccio, R Lueling, W Lukaszawicz, G. F. Mascari, Andrea Masini, J Ma- Tou ek, Antoni Mazurkiewicz, Brian H. Mayoh, Y M tivier, Ernst Meyer, J. Milewski, U Montanari, A Mostowski, H Miiller, Peter Mysliwietz, Margherita Napoli, Morten Nielsen, Rocco De Nicola, D Niwifiski, Edward Ochmański, Ewa Orłowska, Renzo Orsini, Leszek Pacholski, Francesco Parisi-Presicce, W Pawtowski, Wojciech Penczek, H Pfahler, Marek Piotrów, W. Preilowski, I Privare, Helmut Reichel, Wolfgang Reisig, Laura Ricci, Leszek Rudak, Jan Rutten, P Ru fi ka, M Ry ko, Wojciech Rytter, Antonino Salibra, G S nizergues, Emily Schmidt, Simon Fischer, Sven Skyum, Maciej Ślusarek, Eric Smith, Lucjan Stapp, Magnus Steinby, John C. Steiner, P St p nek, I. Hal Sudborough, A Szatas, D Szczepafiska, O Vykora, M Systo, Andrzej Tarlecki, G. Tel, D. Uhlig, William Unger, Paweł Urzyczyn, B Vauquelin, Lutz Voelkel, Fred de Vries, I Vr o, Jolanta Warpechowska, G Wechsung, Jiřı́ Wiedermann, M Wiegers, Meredith Will, Thomas Zeugmann, Józef Winkowski, Glynn Winskel, Serge Yoccoz, Krystian Zorychta,

Tópico(s)

Computability, Logic, AI Algorithms

Referência(s)