The theory of vaccines (Q4571995)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6898418

Language	Label	Description	Also known as
English	The theory of vaccines	scientific article; zbMATH DE number 6898418

Statements

scholarly article

0 references

The theory of vaccines (English)

0 references

zbMATH Open document ID

0 references

10.1007/3-540-63165-8_220

0 references

Massimo Marchiori

0 references

Automata, Languages and Programming

0 references

publication date

4 July 2018

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-63165-8_220

0 references

0 references

0 references

Sufficient conditions for modular termination of conditional term rewriting systems

0 references

Generalized sufficient conditions for modular termination of rewriting

0 references

Modularity of completeness revisited

0 references

The theory of vaccines

0 references

Unravelings and ultra-properties

0 references

0 references

Modular properties of conditional term rewriting systems

0 references

On the modularity of termination of term rewriting systems

0 references

Modular properties of composable term rewriting systems

0 references

On termination of the direct sum of term-rewriting systems

0 references

Modular termination of \(r\)-consistent and left-linear term rewriting systems

0 references

On the Church-Rosser property for the direct sum of term rewriting systems

0 references

Termination for direct sums of left-linear complete term rewriting systems

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4571995

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4571995&oldid=36406365"