REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Guarded Expressions in Practice

Bibliographic information

AuthorDolzmann, Andreas and Sturm, Thomas
TitleGuarded Expressions in Practice
EditorWolfgang W. Küchlin
BooktitleProceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 97), Maui, HI
Pages376-383
OrganizationACM
PublisherACM Press
AddressNew York, NY
MonthJul
Year1997
PubtypeInCollection
Doi10.1145/258726.258851
PreprintDolzmannSturm_97

Additional data alphabetic by keywords

FileidDolzmannSturm_97b
NameDolzmann, Sturm
Statusredlog application
XtitleGuarded Expressions in Practice

Guarded Expressions in Practice

Bibliographic information

AuthorDolzmann, Andreas and Sturm, Thomas
TitleGuarded Expressions in Practice
TypeTechnical Report
NumberMIP-9702
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
MonthJan
Year1997
PubtypeTechReport
PublicationDolzmannSturm_97b

Additional data alphabetic by keywords

FileidDolzmannSturm_97
NameDolzmann, Sturm
Pdffilehttp://redlog.dolzmann.de/papers/pdf/MIP-9702.pdf
Psfilehttp://redlog.dolzmann.de/papers/ps/MIP-9702.ps.Z
Statusredlog application
XtitleGuarded Expressions in Practice (Technical Report)

A.D. T.S. www@redlog.eu Validate