scientific article; zbMATH DE number 2079997

zbMATH Open1044.68558MaRDI QIDQ4472178FDOQ4472178

Authors: Ian Toyn, Susan Stepney 

Publication date: 3 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2272/22720100.htm

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

Recommendations

• Characters on \(C(X)\)
• Character restriction and relative normal complements
• scientific article; zbMATH DE number 42431
• Induction and Restriction of π-Special Characters
• Zeros of primitive characters
• Local character expansions
• Characterness: An Indicator of Text in the Wild

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• LaTeX

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• ProofPower
• Z/EVES
• LaTeX

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 Q4472178)