REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Boolean Quantification in a First-Order Context

Bibliographic information

AuthorSeidl, Andreas and Sturm, Thomas
TitleBoolean Quantification in a First-Order Context
EditorGanzha, V. G. and Mayr, E. W. and Vorozhtsov, E. V.
BooktitleComputer Algebra in Scientific Computing. Proceedings of the CASC 2003
Pages329-345
PublisherInstitut für Informatik, Technische Universität München
AddressMünchen, Germany
Year2003
PubtypeInCollection
PreprintSeidlSturm_03b

Additional data alphabetic by keywords

Contextibalp
Domainboolean
FileidSeidlSturm_03c
NameSeidl, Sturm
Nodoihttp://wwwmayr.in.tum.de:8080/leabib/advanced.search?dist0=0&submit=Suchen&where0=citkey&what0=%22Seidl-Sturm%2F03%22
Pdffilehttp://redlog.dolzmann.de/papers/pdf/casc-2003.pdf
Statusredlog system
XtitleBoolean Quantification in a First-Order Context

Cited REMIS examples

Boolean Quantification in a First-Order Context

Bibliographic information

AuthorSeidl, Andreas and Sturm, Thomas
TitleBoolean Quantification in a First-Order Context
TypeTechnical Report
NumberMIP-0304
AddressD-94030 Passau, Germany
MonthJuly
Year2003
PubtypeTechReport
PublicationSeidlSturm_03c

Additional data alphabetic by keywords

Contextibalp
Domainboolean
FileidSeidlSturm_03b
NameSeidl, Sturm
Psfilehttp://redlog.dolzmann.de/papers/ps/MIP-0304.ps.gz
Statusredlog system
XtitleBoolean Quantification in a First-Order Context (Technical Report)

Cited REMIS examples

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