scientific article; zbMATH DE number 1117895
From MaRDI portal
Publication:4376792
zbMath0885.68139MaRDI QIDQ4376792
Anne Brüggemann-Klein, Thomas Schroff
Publication date: 11 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Computing methodologies for text processing; mathematical typography (68U15)
This page was built for publication:
