scientific article; zbMATH DE number 1841811
From MaRDI portal
Publication:4783299
zbMath0999.68545MaRDI QIDQ4783299
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420038
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of computing (68Q01)
Related Items
Interaction graphs: additives, A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.
