scientific article

zbMATH Open0578.68065MaRDI QIDQ3700859

Zoltán Ésik

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

context sensitive languagesURM programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Towards verification of C programs: Axiomatic semantics of the C-kernel language 👍 👎
• Kleene modules and linear languages 👍 👎
• Structured algebraic specifications: A kernel language 👍 👎
• Operational semantics of a kernel of the language ELECTRE 👍 👎
• A kernel language for programmed rewriting of (hyper)graphs 👍 👎
• Kernel-LEAF: A logic plus functional language 👍 👎
• Kernels of Sub-classes of Context-Free Languages 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3700859)