Search results for: Steffen Lange
Lecture Notes in Computer Science > Algorithmic Learning Theory > Learning Structures and Languages > 332-347
Lecture Notes in Computer Science > Mathematical Methods of Specification and Synthesis of Software Systems '85 > 185-193
Lecture Notes in Computer Science > STACS 93 > 682-691