×

Found 13 Documents (Results 1–13)

100
MathJax

Proof-theoretic notions for software maintenance. (English) Zbl 1264.68059

Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 206-219 (2001).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

Classification

all top 3

Software