REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Semilinear Motion Planning in REDLOG

Bibliographic information

AuthorWeispfenning, Volker
TitleSemilinear Motion Planning in REDLOG
JournalApplicable Algebra in Engineering, Communication and Computing
Volume12
Pages455-475
Monthjun
Year2001
Issn0938-1279
PubtypeJournal
Doi10.1007/s002000100086
PreprintWeispfenning_99c

Additional data alphabetic by keywords

Contextofsf
Domainreals
FileidWeispfenning_01
NameWeispfenning
Statusredlog application
XtitleSemilinear Motion Planning in REDLOG

Semilinear Motion Planning in REDLOG

Bibliographic information

AuthorWeispfenning, Volker
TitleSemilinear Motion Planning in REDLOG
TypeTechnical Report
NumberMIP-9906
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
MonthMay
Year1999
PubtypeTechReport
PublicationWeispfenning_01

Additional data alphabetic by keywords

Contextofsf
Domainreals
FileidWeispfenning_99c
NameWeispfenning
Pdffilehttp://redlog.dolzmann.de/papers/pdf/MIP-9906.pdf
Psfilehttp://redlog.dolzmann.de/papers/ps/MIP-9906.ps.Z
Statusredlog application
XtitleSemilinear Motion Planning in REDLOG (Technical Report)

Cited REMIS examples


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