scientific article; zbMATH DE number 578226
From MaRDI portal
Publication:4293532
zbMath0821.68025MaRDI QIDQ4293532
Publication date: 29 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items (7)
Formal compiler construction in a logical framework ⋮ Modelling and analysis of distributed program execution in BETA using coloured Petri Nets ⋮ Enhancing dependency pair method using strong computability in simply-typed term rewriting ⋮ The Soccer-Fun project ⋮ Polymorphic type inference for the relational algebra ⋮ Software modeling and analysis using a hierarchical object-oriented Petri net ⋮ ML
This page was built for publication:
