Logical Methods in Computer Science
	
	
Title Titel
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				Logical Methods in Computer Science
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
	
	
e-ISSN
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				1860-5974
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
	
	
ISSN
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				1860-5974
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
Listed in DOAJ Aufgelisted im DOAJ
				
				
			
			
		
		
		
		
	
	
	
	
	
	
Publisher Herausgeber
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				LOGICAL METHODS COMPUTER SCIENCE E V
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
Publisher's Address Herausgeber Adresse
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				KLEISTSTR 22, BRAUNSCHWEIG, GERMANY, 38124
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
Listed in SCI Aufgelistet im SCI
				
				
			
			
		
		
		
		
	
	
	
	
Peer reviewed Begutachtet