Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Dikovsky, Alexander J."
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Recognition of deductive data base stability Publikation auswählen
Michael I. Dekhtyar, Alexander J. Dikovsky

Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)
Lecture Notes in Computer Science 1234 , 1997, pp. 67-77

Editors  Sergei Adian, Anil Nerode
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore