| 
			1 | 
		
			
									
						Compilation of the type view in Π [Pi] Budach, Lothar. - Berlin : Fraunhofer-Ges., Inst. für Software- und Systemtechnik, 1992
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						Fundamentals of computation theory Berlin : Springer, 1991
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Neural informatics Berlin : IRR, 1989
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Algebraic and topological properties of finite partially ordered sets Leipzig : Teubner, 1988, 1. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						Topological properties of the graph accessibility problem Budach, Lothar. - Berlin : Karl-Weierstrass-Inst. für Mathematik, 1988
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						Klassifizierungsprobleme und das Verhältnis von deterministischer und nichtdeterministischer Raumkomplexität Budach, Lothar. - Berlin : Sekt. Mathematik d. Humboldt-Univ., 1985
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						1-counter [One-counter] automata in circles Budach, Lothar. - Berlin : Humboldt-Univ., Sekt. Mathematik, 1982
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						Umwelten und Automaten in Umwelten Budach, Lothar. - Berlin : Sektion Mathematik d. Humboldt-Univ., 1980
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			9 | 
		
			
									
						Fundamentals of computation theory / 1979. Proceedings of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory 1979
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			10 | 
		
			
									
						Automaten und Funktoren Budach, Lothar. - Berlin : Akademie-Verlag, 1975
					
							 | 
									
			
								
															  
																  
										
								
			 |