Type inference for hierarchical multiset structures in rule-based systems

DOI10.1016/j.ins.2021.08.079OpenAlexW3193649404MaRDI QIDQ6186981

Bogdan Aman, Gabriel Ciobanu

Publication date: 10 January 2024

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2021.08.079

zbMATH Keywords

completenesstype systemrule-based systemstype inference

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Other nonclassical models of computation (68Q09)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mobility in process calculi and natural computing.
• Denotational semantics of membrane systems by using complete metric spaces
• Formal molecular biology
• AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
• Invariant variation problems
• Membrane Computing

This page was built for publication: Type inference for hierarchical multiset structures in rule-based systems