Logical Methods in Computer Science

1860-5974 (Online)

Added 24 September 2004 • Updated 11 May 2023