MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Development Graph Manager MAYA." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

The Development Graph Manager MAYA
by Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer — 2002
…The Development Graph Manager Maya Serge Autexier 1 , Dieter Hutter 1 , Till Mossakowski 2…
Cited by 9 (3 self) – Add To MetaCart

Integrating Hol-Casl into the Development Graph Manager
by Serge Autexier, Till Mossakowski — In A. Armando (Ed.) Frontiers of Combining Systems (FroCoS '02), Santa Margherita Ligure, Italy, Springer LNAI
…Integrating Hol-Casl into the Development Graph Manager Maya Serge Autexier 1 and Till…
Cited by 15 (10 self) – Add To MetaCart

Implementing Logics: From Genericity to Heterogeneity
by Funct I Onal Pearl, Klaus Lüttich, Till Mossakowski
…); integration of the development graph manager Maya for a management of proofs and change (Autexier et al., 2000…
Cited by 2 (2 self) – Add To MetaCart

PLATΩ: A mediator between text-editors and proof assistance systems
by Marc Wagner, Serge Autexier, Christoph Benzmüller — 2007
… by the development graph manager Maya and the underlying natural deduction calculus is replaced with the Co…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB