No label defined (Q4365103)

From MaRDI portal
Revision as of 12:24, 26 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 1082078
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1082078

    Statements

    author
    Daniel Hirschkoff
    0 references
    publication date
    23 March 1998
    0 references
    zbMATH Keywords
    formalization of pi-calculus
    0 references
    Coq system
    0 references
    processes
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B80
    0 references
    68Q10
    0 references
    68T15
    0 references
    zbMATH DE Number
    1082078
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4365103&oldid=22709781"
    Powered by MediaWiki