1
0
0
(1 - 14 von 16
)
Abstract State Machines - Theory and Applications: International...
books.google.de
... Arnd Poetzsch-Heffter Elvinia Riccobene Dean Rosenzweig Harald Ruess Daniel Schweizer Anatol Slissenko Lothar Thiele Richard Waldinger Alexandre V .
Church's Thesis After 70 Years - Google Books
books.google.de
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy...
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy,...
books.google.de
Paola Glavan Dean Rosenzweig University of Zagreb FSB, Salajeva Zagreb, Croatia dean, . mail, yu .hr ...
Current Trends in Theoretical Computer Science: Essays and Tutorials...
books.google.de
The book is a very up-to-date collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from...
Fachsprachen / Languages for Special Purposes. 1. Halbband - Google...
books.google.de
This series of HANDBOOKS OF LINGUISTICS AND COMMUNICATION SCIENCE is designed to illuminate a field which not only includes general linguistics and the study...
Hilbert’s Program: An Essay on Mathematical Instrumentalism - Michael...
books.google.de
... at Rijeka; Zlatko Klanac, Dean Rosenzweig, Kajetan Sheper and Zvonimir Shikich at Zagreb; Kosta Doshen and Aleksandar Kron at Belgrade; Matjazh Potrch, ...
Integrated Formal Methods: Second International Conference, IFM
books.google.de
This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in...
Logic Programming: Proceedings of the Tenth International Conference...
books.google.de
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research,...
Mathematical Foundations of Computer Science 2005: 30th International...
books.google.de
Andreas Blass, Yuri Gurevich, Dean Rosenzweig and Benjamin Rossman, “ General Interactive Small-Step Algorithms”, in preparation. Andreas Blass, Yuri ...
Current Trends in Theoretical Computer Science: Entering the 21st...
books.google.de
I owe much to the ASM community and especially to Egon Borger, Andreas Blass and Dean Rosenzweig. Egon Borger was the first colleague to recognize the ...
Glasnik Matematicki - Google Books
books.google.de
2. Seminar za konstruktivnu matematiku i teoriju modela Voditelj seminara: dr Mirko Mihaljinec. Tajnik seminara: mr Dean Rosenzweig. Clanovi: mr Milan Bozic, ...
Hilbert’s Program: An Essay on Mathematical Instrumentalism - M....
books.google.de
More particular thanks is owed those who engaged me outside the formal confines of the colloquia; especially, Virgilio Mushkardin, Vladimir Razhenj, and Miljenko Stanich at Rijeka, Zlatko Klanac, Dean Rosenzweig, Kajetan Sheper and Zvonimir Shikich at Zagreb; Kosta Doshen and Aleksandar Kron at Belgrade; Matjazh ...
Perspectives of System Informatics: 4th International Andrei Ershov...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok,...
Logic from Computer Science: Proceedings of a Workshop Held November...
books.google.de
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November , 1989, and for those who did not get it, Logic from...
sortiert nach Relevanz / Datum