LOGICAL METHODS IN COMPUTER SCIENCE
journal58622
E190201
DE
1860-5974
English
Rivista
Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig.
2005
can
true