Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings.

Moulay A. Barkatou Maximilian Jaroschek Suzy S. Maddah

Published in: CoRR (2015)

Keyphrases

computer systems
formal methods
real time
building blocks
retrieval systems
search engine
decision making
knowledge base
distributed systems
intelligent systems
feasible solution