Type Disciplines for Analysing Biologically Relevant Properties (Q5179427): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.106 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2074916974 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4552454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5486047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bisimulation Congruences in the Calculus of Looping Sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bisimulations in calculi modelling membranes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Brane Calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal molecular biology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Membrane computing. An introduction. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BioAmbients: an abstraction for biological compartments / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737219 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:23, 9 July 2024
scientific article; zbMATH DE number 6417440
Language | Label | Description | Also known as |
---|---|---|---|
English | Type Disciplines for Analysing Biologically Relevant Properties |
scientific article; zbMATH DE number 6417440 |
Statements
Type Disciplines for Analysing Biologically Relevant Properties (English)
0 references
19 March 2015
0 references
calculus of looping sequences
0 references
term rewriting
0 references
biological properties
0 references