@misc
{TN_libero_mab2,
author = {
LFCS 3 1994 Sankt Petersburg
Nerode, Anil
},
title = {
Logical foundations of computer science
third international symposium, LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings
},
publisher = {Springer},
isbn = {9783540484424},
keywords = {
Computer software
,
Logic design
,
Logic, Symbolic and mathematical
,
Computer science
,
Mathematical logic.
,
Machine theory.
,
Algorithms.
,
Mathematical Logic and Formal Languages
,
Computer Science
,
Mathematical Logic and Foundations
,
Logics and Meanings of Programs
,
Algorithm Analysis and Problem Complexity
,
Konferenzschrift 1994 Sankt Petersburg
,
Informatik
,
Mathematische Logik
,
Modallogik
},
year = {1994},
abstract = {Literaturangaben},
booktitle = {Lecture notes in computer science ; 813},
address = {
Berlin [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}